enable simplification in KSMT

vorpal-research · Jun 22, 2023 · 01330ff · 01330ff
1 parent 28fd524
commit 01330ff
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 = ["org.ksmt", "org.ksmt.decl", "org.ksmt.sort", "org.ksmt.expr"],
     context = "KContext",
-    contextInitializer = "simplificationMode = KContext.SimplificationMode.NO_SIMPLIFY",
+    contextInitializer = "simplificationMode = KContext.SimplificationMode.SIMPLIFY",
     generateString = generateStrings
 )
 abstract class KSMTSMTExprFactory