turn off simplification in KSMT

vorpal-research · Jan 19, 2024 · aecb785 · aecb785
1 parent e01b65d
commit aecb785
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/kex-ksmt/src/main/kotlin/org/vorpal/research/kex/smt/ksmt/KSMT.kt b/kex-ksmt/src/main/kotlin/org/vorpal/research/kex/smt/ksmt/KSMT.kt
@@ -33,7 +33,7 @@ abstract class KSMTSMTMemory
     solver = "KSMT",
     importPackages = ["io.ksmt", "io.ksmt.decl", "io.ksmt.sort", "io.ksmt.expr"],
     context = "KContext",
-    contextInitializer = "simplificationMode = KContext.SimplificationMode.SIMPLIFY",
+    contextInitializer = "simplificationMode = KContext.SimplificationMode.NO_SIMPLIFY",
     generateString = generateStrings
 )
 abstract class KSMTSMTExprFactory