Skip to content

Commit 7da645a

Browse files
committed
Use full bitwise for direct-indexing and security tests
1 parent d78e0c0 commit 7da645a

2 files changed

Lines changed: 18 additions & 4 deletions

File tree

prover/src/tests/decode_tests.rs

Lines changed: 9 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -1030,9 +1030,15 @@ fn test_decode_soundness_same_elf_accepted() {
10301030
.expect("Failed to create executor");
10311031
let result = executor.run().expect("Failed to run program");
10321032

1033-
let mut traces =
1034-
Traces::from_elf_and_logs_minimal(&prover_elf, &result.logs, &Default::default(), &[])
1035-
.unwrap();
1033+
let mut traces = Traces::from_elf_and_logs(
1034+
&prover_elf,
1035+
&result.logs,
1036+
&Default::default(),
1037+
&[],
1038+
#[cfg(feature = "disk-spill")]
1039+
stark::storage_mode::StorageMode::Ram,
1040+
)
1041+
.unwrap();
10361042
let table_counts = traces.table_counts();
10371043
let prover_airs = VmAirs::new(
10381044
&prover_elf,

prover/src/tests/prove_elfs_tests.rs

Lines changed: 9 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1229,7 +1229,15 @@ fn test_debug_memory_tokens_sb_sh() {
12291229
use std::collections::HashMap;
12301230

12311231
let (elf, logs, _instructions) = run_asm_elf("test_sb_sh_8");
1232-
let traces = Traces::from_elf_and_logs_minimal(&elf, &logs, &Default::default(), &[]).unwrap();
1232+
let traces = Traces::from_elf_and_logs(
1233+
&elf,
1234+
&logs,
1235+
&Default::default(),
1236+
&[],
1237+
#[cfg(feature = "disk-spill")]
1238+
stark::storage_mode::StorageMode::Ram,
1239+
)
1240+
.unwrap();
12331241

12341242
let memw = &traces.memws[0]; // Small test: single MEMW chunk
12351243
println!("DEBUG: test_sb_sh_8 Memory bus tokens (FULL)");

0 commit comments

Comments
 (0)