github/ere
1
1
Fork 0
mirror of https://github.com/eth-act/ere.git synced 2026-02-19 11:54:42 -05:00
Code Issues Packages Projects Releases Wiki Activity

Fix openvm build

Browse Source
This commit is contained in:
rodiazet
2025-08-28 13:16:52 +02:00
parent b18ac3e501
commit 642c59424e
1 changed files with 3 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
crates/ere-openvm/src/lib.rs
View File

@@ -296,7 +296,9 @@ mod tests {
let guest_directory = testing_guest_directory("openvm", "stock_nightly_no_std");
let program = compile_openvm_program_stock_rust(&guest_directory, &"nightly".to_string()).unwrap();
let zkvm = EreOpenVM::new(program, ProverResourceType::Cpu).unwrap();
run_zkvm_execute(&zkvm, &Input::new());
let result = zkvm.execute(&BasicProgramIo::empty());
assert!(!result.is_err(), "Openvm execution failure");
}
#[test]