Rewritten matcher

UnitTestBot · Jul 10, 2023 · 41dee9f · 41dee9f
1 parent e73c9e0
commit 41dee9f
Showing 1 changed file with 5 additions and 1 deletion.
diff --git a/usvm-jvm/src/test/kotlin/org/usvm/samples/objects/ObjectWithPrimitivesExampleTest.kt b/usvm-jvm/src/test/kotlin/org/usvm/samples/objects/ObjectWithPrimitivesExampleTest.kt
@@ -27,7 +27,11 @@ internal class ObjectWithPrimitivesExampleTest : JavaMethodTestRunner() {
         checkDiscoveredProperties(
             ObjectWithPrimitivesExample::ignoredInputParameters,
             eq(1),
-            { _, fst, snd, r -> fst == null && snd == null && r != null }
+            { _, _, _, r ->
+                val instanceWithDefaultValues = ObjectWithPrimitivesClass()
+
+                r == instanceWithDefaultValues
+            }
         )
     }