chore: update kontrol toml and add logs files for proofs three and four

defi-wonderland · Sep 11, 2024 · ccfa037 · ccfa037
1 parent 16d1975
commit ccfa037
Show file tree

Hide file tree

Showing 3 changed files with 3,191 additions and 6 deletions.
diff --git a/packages/contracts-bedrock/kontrol.toml b/packages/contracts-bedrock/kontrol.toml
@@ -45,10 +45,25 @@ use-hex-encoding = false
 
 ## Convert profile
 
-[build.convert]
-
 [prove.convert]
-
-[show.convert]
-
-[view-kcfg.convert]
+foundry-project-root = './'
+verbose = false
+debug = false
+max-depth = 25000
+reinit = false
+cse = false
+workers = 1
+failure-information = true
+counterexample-information = true
+minimize-proofs = false
+fail-fast = true
+smt-timeout = 1000
+break-every-step = false
+break-on-jumpi = false
+break-on-calls = false
+break-on-storage = false
+break-on-basic-blocks = false
+break-on-cheatcodes = false
+run-constructor = true
+symbolic-immutables = false
+schedule = 'CANCUN'
diff --git a/packages/contracts-bedrock/proof-four.out b/packages/contracts-bedrock/proof-four.out
diff --git a/packages/contracts-bedrock/proof-three.out b/packages/contracts-bedrock/proof-three.out