Skip to content

Test generation for Optional<T> in the plugin (#226) #305

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.

Sign up for GitHub

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
dtim merged 2 commits into from
Jun 28, 2022
Merged

Test generation for Optional<T> in the plugin (#226) #305

Changes from 1 commit
Commits
Show all changes
2 commits
Select commit Hold shift + click to select a range
b97803d
Test generation for Optional<T> in the plugin (#226)
dtim Jun 20, 2022
fa9e67b
Disabled flaky test: testLongMulOverflow
dtim Jun 28, 2022
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Prev Previous commit
Disabled flaky test: testLongMulOverflow
  • Loading branch information
@dtim
dtim committed Jun 28, 2022
commit fa9e67bc2b2d33fde9b1285b7fc18a727a07dd18
1 change: 1 addition & 0 deletions utbot-framework/src/test/kotlin/org/utbot/examples/math/OverflowAsErrorTest.kt
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -211,6 +211,7 @@ internal class OverflowAsErrorTest : AbstractTestCaseGeneratorTest(
}

@Test
@Disabled("Flaky branch count mismatch (1 instead of 2)")
fun testLongMulOverflow() {
// This test has solver timeout.
// Reason: softConstraints, containing limits for Int values, hang solver.
Expand Down