tweaking parameters

runtimeverification · Aug 16, 2024 · 1c9abbc · 1c9abbc
1 parent 473bcd7
commit 1c9abbc
Show file tree

Hide file tree

Showing 2 changed files with 12 additions and 8 deletions.
diff --git a/kontrol.toml b/kontrol.toml
@@ -1,28 +1,32 @@
 [build.default]
 foundry-project-root       = '.'
-regen                      = false
-rekompile                  = false
+regen                      = true
+rekompile                  = true
 verbose                    = true
 debug                      = false
 require                    = 'test/kontrol/lido-lemmas.k'
 module-import              = 'VetoSignallingTest:LIDO-LEMMAS'
 
 [prove.default]
 foundry-project-root       = '.'
-verbose                    = true
+verbose                    = false
 debug                      = false
-max-depth                  = 10000
+max-depth                  = 100000
 max-iterations             = 10000
 reinit                     = false
 cse                        = false
-workers                    = 16
+workers                    = 1
 max-frontier-parallel      = 6
+maintenance-rate           = 24
+assume-defined             = true
+no-log-rewrites            = true
+kore-rpc-command           = 'kore-rpc-booster --no-post-exec-simplify'
 failure-information        = true
 counterexample-information = true
 minimize-proofs            = false
 fail-fast                  = true
-smt-timeout                = 1000
-smt-retry-limit            = 5
+smt-timeout                = 64000
+smt-retry-limit            = 0
 break-every-step           = false
 break-on-jumpi             = false
 break-on-calls             = false

diff --git a/lib/forge-std b/lib/forge-std
+0 −1		.gitattributes
+12 −6		.github/workflows/ci.yml
+1 −3		.github/workflows/sync.yml
+3 −0		.gitmodules
+1 −1		README.md
+3 −3		foundry.toml
+1 −0		lib/ds-test
+1 −1		package.json
+0 −635		scripts/vm.py
+225 −518		src/StdAssertions.sol
+10 −25		src/StdChains.sol
+2 −2		src/StdCheats.sol
+3 −18		src/StdInvariant.sol
+11 −7		src/StdJson.sol
+107 −202		src/StdStorage.sol
+0 −179		src/StdToml.sol
+1 −1		src/StdUtils.sol
+4 −4		src/Test.sol
+489 −1,522		src/Vm.sol
+382 −401		src/console.sol
+1,555 −1		src/console2.sol
+33 −51		src/mocks/MockERC20.sol
+36 −46		src/mocks/MockERC721.sol
+4 −693		src/safeconsole.sol
+909 −39		test/StdAssertions.t.sol
+26 −36		test/StdChains.t.sol
+11 −19		test/StdCheats.t.sol
+1 −3		test/StdError.t.sol
+0 −49		test/StdJson.t.sol
+8 −8		test/StdMath.t.sol
+11 −167		test/StdStorage.t.sol
+0 −49		test/StdToml.t.sol
+20 −20		test/StdUtils.t.sol
+3 −3		test/Vm.t.sol
+0 −8		test/fixtures/test.json
+0 −6		test/fixtures/test.toml
+1 −1		test/mocks/MockERC20.t.sol
+1 −1		test/mocks/MockERC721.t.sol