Test has been moved

Author: Denis Fokin

utbot-framework/src/test/kotlin/org/utbot/examples/math/OverflowAsErrorTest.kt

@@ -269,4 +269,18 @@ internal class OverflowAsErrorTest : AbstractTestCaseGeneratorTest(
             )
         }
     }
+
+    @Test
+    fun testIntOverflowWithoutError() {
+        check(
+            OverflowExamples::intOverflow,
+            eq(6),
+            { x, _, r -> x * x * x <= 0 && x <= 0 && r == 0 },
+            { x, _, r -> x * x * x > 0 && x <= 0 && r == 0 }, // through overflow
+            { x, y, r -> x * x * x > 0 && x > 0 && y != 10 && r == 0 },
+            { x, y, r -> x * x * x > 0 && x > 0 && y == 10 && r == 1 },
+            { x, y, r -> x * x * x <= 0 && x > 0 && y != 20 && r == 0 }, // through overflow
+            { x, y, r -> x * x * x <= 0 && x > 0 && y == 20 && r == 2 } // through overflow
+        )
+    }
 }