Disabled flaky test: testLongMulOverflow

dtim · dtim · commit fa3ef8d620e4 · 2022-06-28T14:20:20.000+03:00
diff --git a/utbot-framework/src/test/kotlin/org/utbot/examples/math/OverflowAsErrorTest.kt b/utbot-framework/src/test/kotlin/org/utbot/examples/math/OverflowAsErrorTest.kt
@@ -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.

Original file line number	Diff line number	Diff line change
`@@ -211,6 +211,7 @@ internal class OverflowAsErrorTest : AbstractTestCaseGeneratorTest(`
`211`	`211`	`}`
`212`	`212`
`213`	`213`	`@Test`
	`214`	`+ @Disabled("Flaky branch count mismatch (1 instead of 2)")`
`214`	`215`	`fun testLongMulOverflow() {`
`215`	`216`	`// This test has solver timeout.`
`216`	`217`	`// Reason: softConstraints, containing limits for Int values, hang solver.`