Skip to content

Commit

Permalink
updated tests with new halt
Browse files Browse the repository at this point in the history
  • Loading branch information
puma314 committed Mar 3, 2024
1 parent 01e7bb8 commit 96779ed
Show file tree
Hide file tree
Showing 14 changed files with 0 additions and 4 deletions.
4 changes: 0 additions & 4 deletions examples/fibonacci/program/src/main.rs
Original file line number Diff line number Diff line change
Expand Up @@ -16,8 +16,4 @@ fn fibonacci(n: u32) -> u32 {
pub fn main() {
let result = black_box(fibonacci(black_box(50000)));
println!("result: {}", result);
println!("result2: {}", result + 2);
println!("resuilt3: {}\n results4 {}", result + 3, result + 4);
assert_eq!(result, 0);
println!("result: {}", result);
}
Binary file modified tests/blake3-compress/elf/riscv32im-succinct-zkvm-elf
Binary file not shown.
Binary file modified tests/cycle-tracker/elf/riscv32im-succinct-zkvm-elf
Binary file not shown.
Binary file modified tests/ecrecover/elf/riscv32im-succinct-zkvm-elf
Binary file not shown.
Binary file modified tests/ed-add/elf/riscv32im-succinct-zkvm-elf
Binary file not shown.
Binary file modified tests/ed-decompress/elf/riscv32im-succinct-zkvm-elf
Binary file not shown.
Binary file modified tests/keccak-permute/elf/riscv32im-succinct-zkvm-elf
Binary file not shown.
Binary file modified tests/keccak256/elf/riscv32im-succinct-zkvm-elf
Binary file not shown.
Binary file modified tests/secp256k1-add/elf/riscv32im-succinct-zkvm-elf
Binary file not shown.
Binary file modified tests/secp256k1-decompress/elf/riscv32im-succinct-zkvm-elf
Binary file not shown.
Binary file modified tests/secp256k1-double/elf/riscv32im-succinct-zkvm-elf
Binary file not shown.
Binary file modified tests/sha-compress/elf/riscv32im-succinct-zkvm-elf
Binary file not shown.
Binary file modified tests/sha-extend/elf/riscv32im-succinct-zkvm-elf
Binary file not shown.
Binary file modified tests/sha2/elf/riscv32im-succinct-zkvm-elf
Binary file not shown.

0 comments on commit 96779ed

Please sign in to comment.