From 642c59424ec87ef887c020f32f4ce670a248d343 Mon Sep 17 00:00:00 2001 From: rodiazet Date: Thu, 28 Aug 2025 13:16:52 +0200 Subject: [PATCH] Fix openvm build --- crates/ere-openvm/src/lib.rs | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/crates/ere-openvm/src/lib.rs b/crates/ere-openvm/src/lib.rs index dc612be..0066128 100644 --- a/crates/ere-openvm/src/lib.rs +++ b/crates/ere-openvm/src/lib.rs @@ -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]