update: zk_fibo_verify_test

raghav-rama · Mar 5, 2024 · dd1741c · dd1741c
1 parent 8068bf6
commit dd1741c
Showing 1 changed file with 4 additions and 1 deletion.
diff --git a/src/bin/tests/zk_fibo_verify_test.rs b/src/bin/tests/zk_fibo_verify_test.rs
@@ -25,6 +25,9 @@ mod zk_fibo_verify_test {
             .save("proof-with-pis.json")
             .expect("saving proof failed");
 
-        println!("succesfully generated and verified proof for the program!")
+        println!("succesfully generated and verified proof for the program!");
+
+        // check if proof exists
+        assert_eq!(std::path::Path::new("proof-with-pis.json").exists(), true)
     }
 }