Skip to content

OverflowAsErrorTest and StaticInitializerExampleTest keep failing on 'main' #246

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
merged 3 commits into from
Jun 20, 2022

Conversation

denis-fokin
Copy link
Collaborator

@denis-fokin denis-fokin commented Jun 20, 2022

Description

Recently we are getting red master and PR. Failure analysis does not show the problematic commit. Eventually, we figured out that two tests use the same example. If the same example is used two tests with the same name are generated. Subsequently, the first one is rewritten by the second one. I have not found the cause of the second failure, so we need to disable it in order to make the main branch green.

Type of Change

Please delete options that are not relevant.

  • Minor bug fix (non-breaking small changes)

How Has This Been Tested?

Automated Testing

Specify tests that help to verify the change automatically.

org.utbot.examples.math.OverflowExamplesTest
org.utbot.examples.math.OverflowAsErrorTest
org.utbot.examples.mixed.StaticInitializerExampleTest

Manual Scenario

No manual scenario

Checklist (remove irrelevant options):

  • The change followed the style guidelines of the UTBot project
  • Self-review of the code is passed
  • The change contains enough commentaries, particularly in hard-to-understand areas
  • No new warnings
  • Tests that prove my change is effective
  • All tests pass locally with my changes

@denis-fokin denis-fokin force-pushed the denis-fokin/remove-maven-gradle-plugin branch from 4bc0e8d to f17f64d Compare June 20, 2022 12:12
@denis-fokin denis-fokin force-pushed the denis-fokin/remove-maven-gradle-plugin branch from f17f64d to 587418c Compare June 20, 2022 14:02
@denis-fokin denis-fokin requested a review from Damtev June 20, 2022 19:11
@denis-fokin denis-fokin changed the title Remove maven/gradle OverflowAsErrorTest and StaticInitializerExampleTest keep failing on 'main' Jun 20, 2022
@denis-fokin denis-fokin enabled auto-merge (squash) June 20, 2022 19:16
@denis-fokin denis-fokin disabled auto-merge June 20, 2022 19:17
@denis-fokin denis-fokin enabled auto-merge (rebase) June 20, 2022 19:17
@denis-fokin denis-fokin disabled auto-merge June 20, 2022 19:18
@denis-fokin denis-fokin enabled auto-merge (squash) June 20, 2022 19:18
@denis-fokin denis-fokin merged commit 36aa0bd into main Jun 20, 2022
@denis-fokin denis-fokin deleted the denis-fokin/remove-maven-gradle-plugin branch June 20, 2022 19:25
alisevych pushed a commit that referenced this pull request Jun 21, 2022
…'main' (#246)

OverflowAsErrorTest is fixed.
StaticInitializerExampleTest is disabled.
mmvpm pushed a commit that referenced this pull request Jun 22, 2022
…'main' (#246)

OverflowAsErrorTest is fixed.
StaticInitializerExampleTest is disabled.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants