Merge pull request #698 from Zokrates/fix-interpreter-error-test

Fix interpreter error test

zokrates_cli/src/bin.rs

@@ -1119,7 +1119,6 @@ mod tests {
     }
 
     #[test]
-    #[should_panic]
     fn execute_examples_err() {
         //these examples should compile but not run
         for p in glob("./examples/runtime_errors/*").expect("Failed to read glob pattern") {
@@ -1143,9 +1142,9 @@ mod tests {
 
             let interpreter = ir::Interpreter::default();
 
-            let _ = interpreter
-                .execute(&artifacts.prog(), &vec![Bn128Field::from(0)])
-                .unwrap();
+            let res = interpreter.execute(&artifacts.prog(), &vec![Bn128Field::from(0)]);
+
+            assert!(res.is_err());
         }
     }
 }

zokrates_core/src/ir/interpreter.rs

@@ -155,7 +155,6 @@ impl Interpreter {
                         res.push(T::zero());
                     }
                 }
-                assert_eq!(num, T::zero());
                 res
             }
             Solver::Xor => {