Increase object bits

qinheping · qinheping · commit 79d6af816c35 · 2024-11-07T23:21:54.000-06:00
diff --git a/scripts/run-kani.sh b/scripts/run-kani.sh
@@ -183,7 +183,7 @@ main() {
 
     echo "Running Kani verify-std command..."
 
-    "$kani_path" verify-std -Z unstable-options ./library --target-dir "$temp_dir_target" -Z function-contracts -Z mem-predicates -Z loop-contracts --output-format=terse $command_args --enable-unstable --cbmc-args --object-bits 8
+    "$kani_path" verify-std -Z unstable-options ./library --target-dir "$temp_dir_target" -Z function-contracts -Z mem-predicates -Z loop-contracts --output-format=terse $command_args --enable-unstable --cbmc-args --object-bits 12
 }
 
 main

Original file line number	Diff line number	Diff line change
`@@ -183,7 +183,7 @@ main() {`
`183`	`183`
`184`	`184`	`echo "Running Kani verify-std command..."`
`185`	`185`
`186`		`- "$kani_path" verify-std -Z unstable-options ./library --target-dir "$temp_dir_target" -Z function-contracts -Z mem-predicates -Z loop-contracts --output-format=terse $command_args --enable-unstable --cbmc-args --object-bits 8`
	`186`	`+ "$kani_path" verify-std -Z unstable-options ./library --target-dir "$temp_dir_target" -Z function-contracts -Z mem-predicates -Z loop-contracts --output-format=terse $command_args --enable-unstable --cbmc-args --object-bits 12`
`187`	`187`	`}`
`188`	`188`
`189`	`189`	`main`