Add script for running proptests

p2pderivatives · Sep 26, 2024 · 807aece · 807aece
1 parent 73c64fd
commit 807aece
Showing 1 changed file with 10 additions and 0 deletions.
diff --git a/run_tests.sh b/run_tests.sh
@@ -0,0 +1,10 @@
+#!/bin/bash
+while :
+do
+  if cargo test proptest ; then
+    echo "success"
+  else
+    echo "fail"
+    break
+  fi
+done