fix contains intrinsic handling

vorpal-research · Jul 26, 2023 · 4e11e07 · 4e11e07
1 parent 6b463bc
commit 4e11e07
Showing 1 changed file with 0 additions and 14 deletions.
diff --git a/kex-runner/src/main/kotlin/org/vorpal/research/kex/state/transformer/KexIntrinsicsAdapter.kt b/kex-runner/src/main/kotlin/org/vorpal/research/kex/state/transformer/KexIntrinsicsAdapter.kt
@@ -80,13 +80,6 @@ class KexIntrinsicsAdapter : RecollectingTransformer<KexIntrinsicsAdapter>, Incr
                 state {
                     lhv() equality (value `in` array)
                 }
-                val temp = generate(KexBool)
-                state {
-                    temp equality (length gt 0)
-                }
-                assume {
-                    temp equality true
-                }
             }
             kim.kexContains(method.cm) -> {
                 val (array, value) = call.arguments
@@ -103,13 +96,6 @@ class KexIntrinsicsAdapter : RecollectingTransformer<KexIntrinsicsAdapter>, Incr
                         }
                     }
                 }
-                val temp = generate(KexBool)
-                state {
-                    temp equality (length gt 0)
-                }
-                assume {
-                    temp equality true
-                }
             }
             in kim.kexGenerateArrayMethods(method.cm) -> {
                 state {