run booster with --no-fallback-simplify --no-post-exec-simplify

runtimeverification · Jul 30, 2024 · 86d5efb · 86d5efb
1 parent 3f3c831
commit 86d5efb
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/kmxwasm/src/kmxwasm/tools.py b/kmxwasm/src/kmxwasm/tools.py
@@ -89,6 +89,8 @@ def explorer(self) -> KCFGExplore:
                         '100',
                         '--interim-simplification',
                         '2000',
+                        '--no-fallback-simplify',
+                        '--no-post-exec-simplify',
                         # Other options can be added by setting env.var KORE_RPC_OPTS
                     ),
                     bug_report=self.__bug_report,