Skip to content

Commit

Permalink
Fix test
Browse files Browse the repository at this point in the history
  • Loading branch information
fmoletta committed Apr 9, 2024
1 parent db25e26 commit cdfcbea
Showing 1 changed file with 8 additions and 6 deletions.
14 changes: 8 additions & 6 deletions vm/src/tests/cairo_run_test.rs
Original file line number Diff line number Diff line change
Expand Up @@ -1212,11 +1212,13 @@ fn run_program_with_custom_mod_builtin_params(
if cairo_run_config.proof_mode {
cairo_runner.finalize_segments(&mut vm).unwrap();
}
let security_res = verify_secure_runner(&cairo_runner, true, None, &mut vm);
if let Some(error) = security_error {
assert!(security_res.is_err());
assert!(security_res.err().unwrap().to_string().contains(error));
return;
if !cairo_run_config.proof_mode{
let security_res = verify_secure_runner(&cairo_runner, true, None, &mut vm);
if let Some(error) = security_error {
assert!(security_res.is_err());
assert!(security_res.err().unwrap().to_string().contains(error));
return;
}
security_res.unwrap();
}
security_res.unwrap();
}

0 comments on commit cdfcbea

Please sign in to comment.