run booster with --no-fallback-simplify --no-post-exec-simplify (#179)

* run booster with --no-fallback-simplify --no-post-exec-simplify * Set Version: 0.1.81 --------- Co-authored-by: devops <[email protected]>
runtimeverification · Jul 31, 2024 · d7cf18a · d7cf18a
1 parent 3f3c831
commit d7cf18a
Show file tree

Hide file tree

Showing 3 changed files with 4 additions and 2 deletions.
diff --git a/kmxwasm/pyproject.toml b/kmxwasm/pyproject.toml
@@ -4,7 +4,7 @@ build-backend = "poetry.core.masonry.api"
 
 [tool.poetry]
 name = "kmxwasm"
-version = "0.1.80"
+version = "0.1.81"
 description = "Symbolic execution for the MultiversX blockchain with the Wasm semantics, using pyk."
 authors = [
     "Runtime Verification, Inc. <[email protected]>",

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,

diff --git a/package/version b/package/version
@@ -1 +1 @@
-0.1.80
+0.1.81