From 0fd95afc5c40ac029ad2e650754561114f22e9cf Mon Sep 17 00:00:00 2001 From: Konstantin Chukharev Date: Thu, 10 Jul 2025 13:12:15 +0300 Subject: [PATCH] Do not use soft constraints in Division::testUnknownDivision With default options, this test sometimes is very long. Without soft constraints, the test becomes fast --- .../org/usvm/samples/operators/Division.kt | 20 ++++++++++--------- 1 file changed, 11 insertions(+), 9 deletions(-) diff --git a/usvm-ts/src/test/kotlin/org/usvm/samples/operators/Division.kt b/usvm-ts/src/test/kotlin/org/usvm/samples/operators/Division.kt index f8964c6831..df730b468c 100644 --- a/usvm-ts/src/test/kotlin/org/usvm/samples/operators/Division.kt +++ b/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( - 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( + 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() }, + ) + } } -} \ No newline at end of file +}