From 162e5ef636414275776affd22c5599a4d62657ca Mon Sep 17 00:00:00 2001 From: rv-jenkins Date: Mon, 30 Oct 2023 10:28:02 -0600 Subject: [PATCH] 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 Co-authored-by: Juan C --- deps/kontrol_release | 2 +- test/run-kevm.sh | 6 +++--- 2 files changed, 4 insertions(+), 4 deletions(-) diff --git a/deps/kontrol_release b/deps/kontrol_release index 528bd040..278cbc8d 100644 --- 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 index 458e39a4..4fdd7f30 100755 --- 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