From 01330ffb15d8b5e020d131cdfa89269dd91a79b9 Mon Sep 17 00:00:00 2001 From: Azat Abdullin Date: Thu, 22 Jun 2023 18:01:40 +0300 Subject: [PATCH] enable simplification in KSMT --- .../src/main/kotlin/org/vorpal/research/kex/smt/ksmt/KSMT.kt | 2 +- 1 file changed, 1 insertion(+), 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 index d4fda371a..c787f4061 100644 --- 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