Merge pull request #121 from khbminus/khbminus/disable-null-values

Changed tests for #120
vorpal-research · Aug 22, 2024 · f8c09d8 · f8c09d8
2 parents 18b16fb + 47572a7
commit f8c09d8
Show file tree

Hide file tree

Showing 3 changed files with 8 additions and 2 deletions.
diff --git a/kex-runner/src/test/kotlin/org/vorpal/research/kex/concolic/DisableNullsTest.kt b/kex-runner/src/test/kotlin/org/vorpal/research/kex/concolic/DisableNullsTest.kt
@@ -25,10 +25,10 @@ class DisableNullsTest : ConcolicTest("do-not-generate-nulls") {
     }
     @Test
     fun boxedArrayWithoutNullsTest() {
-        assertCoverage(cm["org/vorpal/research/kex/test/nullability/BoxedArrayNulls"], 20.0 / 24.0, eps = 0.1)
+        assertCoverage(cm["org/vorpal/research/kex/test/nullability/BoxedArrayNulls"], 26.0 / 30.0, eps = 0.1)
     }
     @Test
     fun listWithoutNullsTest() {
-        assertCoverage(cm["org/vorpal/research/kex/test/nullability/ListNulls"], 20.0 / 24.0, eps = 0.1)
+        assertCoverage(cm["org/vorpal/research/kex/test/nullability/ListNulls"], 26.0 / 30.0, eps = 0.1)
     }
 }
diff --git a/kex-test/src/main/kotlin/org/vorpal/research/kex/test/nullability/BoxedArrayNulls.java b/kex-test/src/main/kotlin/org/vorpal/research/kex/test/nullability/BoxedArrayNulls.java
@@ -5,6 +5,9 @@ int function(Integer[] x) {
         if (x == null) {
             return -1;
         }
+        if (x.length > 10) {
+            return 11;
+        }
         for (int i = 0; i < x.length; i++) {
             if (x[i] == null) {
                 return i;

diff --git a/kex-test/src/main/kotlin/org/vorpal/research/kex/test/nullability/ListNulls.java b/kex-test/src/main/kotlin/org/vorpal/research/kex/test/nullability/ListNulls.java
@@ -7,6 +7,9 @@ int function(List<Integer> x) {
         if (x == null) {
             return -1;
         }
+        if (x.size() > 10) {
+            return 11;
+        }
         for (int i = 0; i < x.size(); i++) {
             if (x.get(i) == null) {
                 return i;