From a23aef16cc0fba7057938216ae258cf3cb142455 Mon Sep 17 00:00:00 2001 From: Jan Ferdinand Sauer Date: Fri, 14 Jul 2023 17:41:00 +0200 Subject: [PATCH] simplify error handling in deserialization test --- triton-vm/src/stark.rs | 16 +++++++--------- 1 file changed, 7 insertions(+), 9 deletions(-) diff --git a/triton-vm/src/stark.rs b/triton-vm/src/stark.rs index dfc63943..075b2170 100644 --- a/triton-vm/src/stark.rs +++ b/triton-vm/src/stark.rs @@ -1581,15 +1581,13 @@ pub(crate) mod triton_stark_tests { &mut None, ); - let filename = "halt_error.tsp"; - let result = Stark::verify(¶meters, &claim, &proof, &mut None); - if let Err(e) = result { - if let Err(e) = save_proof(filename, proof) { - panic!("Unsyntactical proof and can't save! {e}"); - } - panic!("Saved proof to {filename} because verifier is unhappy! {e}"); - } - assert!(result.unwrap()); + let verdict = Stark::verify(¶meters, &claim, &proof, &mut None); + if verdict.is_err() { + let filename = "halt_error.tsp"; + save_proof(filename, proof).unwrap(); + eprintln!("Saved proof to {filename}."); + }; + assert!(verdict.unwrap()); } }