Do not use soft constraints in Division::testUnknownDivision (#306)

With default options, this test sometimes is very long. Without soft constraints, the test becomes fast

Author: Lipen

usvm-ts/src/test/kotlin/org/usvm/samples/operators/Division.kt

@@ -52,13 +52,15 @@ class Division : TsMethodTestRunner() {
     @Test
     fun testUnknownDivision() {
         val method = getMethod(className, "unknownDivision")
-        discoverProperties<TsTestValue, TsTestValue, TsTestValue.TsNumber>(
-            method = method,
-            { a, b, r -> (a is TsTestValue.TsUndefined || b is TsTestValue.TsUndefined) && r.number.isNaN() },
-            { _, _, r -> r.number == 4.0 },
-            { _, _, r -> r.number == Double.POSITIVE_INFINITY },
-            { _, _, r -> r.number == Double.NEGATIVE_INFINITY },
-            { _, _, r -> r.number.isNaN() },
-        )
+        withOptions(options.copy(useSoftConstraints = false)) {
+            discoverProperties<TsTestValue, TsTestValue, TsTestValue.TsNumber>(
+                method = method,
+                { a, b, r -> (a is TsTestValue.TsUndefined || b is TsTestValue.TsUndefined) && r.number.isNaN() },
+                { _, _, r -> r.number == 4.0 },
+                { _, _, r -> r.number == Double.POSITIVE_INFINITY },
+                { _, _, r -> r.number == Double.NEGATIVE_INFINITY },
+                { _, _, r -> r.number.isNaN() },
+            )
+        }
     }
-}
+}