diff --git a/fuzz/fuzz_targets/veriwasm.rs b/fuzz/fuzz_targets/veriwasm.rs index f1c91cd8..3136b13e 100644 --- a/fuzz/fuzz_targets/veriwasm.rs +++ b/fuzz/fuzz_targets/veriwasm.rs @@ -77,7 +77,9 @@ fn run_test(bytes: &[u8]) -> Result<(), Error> { return Ok(()); } - build(/* with_veriwasm = */ true, bytes, &tempdir, "veriwasm")?; + if build(/* with_veriwasm = */ true, bytes, &tempdir, "veriwasm").is_err(){ + panic!("Veriwasm returned an error!"); + } Ok(()) }