Update dependency: deps/kontrol_release (#14)

* deps/kontrol_release: Set Version 0.1.40 * deps/kontrol_release: Set Version 0.1.41 * deps/kontrol_release: Set Version 0.1.42 * Update execution script with `--match-test` flag and no rekompile * deps/kontrol_release: Set Version 0.1.43 --------- Co-authored-by: devops <[email protected]> Co-authored-by: Juan C <[email protected]>
runtimeverification · Oct 30, 2023 · 162e5ef · 162e5ef
1 parent 0790da0
commit 162e5ef
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 4 deletions.
diff --git a/deps/kontrol_release b/deps/kontrol_release
@@ -1 +1 @@
-0.1.39
+0.1.43
diff --git a/test/run-kevm.sh b/test/run-kevm.sh
@@ -55,7 +55,7 @@ workers=12
 
 # Switch the options below to turn them on or off
 rekompile=--rekompile
-#rekompile=
+rekompile=
 
 # Progress is saved automatically so an unfinished proof can be resumed from where it left off
 # Turn on to restart proof from the beginning instead of resuming
@@ -87,8 +87,8 @@ use_booster=--use-booster
 # List of tests to symbolically execute
 
 tests=""
-tests+="--test FixedPointMathLibVerification.testMulWad(uint256,uint256) "
-tests+="--test FixedPointMathLibVerification.testMulWadUp "
+tests+="--match-test FixedPointMathLibVerification.testMulWad(uint256,uint256) "
+tests+="--match-test FixedPointMathLibVerification.testMulWadUp "
 
 # Name of the claim to execute
 claim=mulWadUp-first-roadblock