From 807aece63d7a541cbb0213c8e990af4b403ca38e Mon Sep 17 00:00:00 2001
From: yancy <yancy@yancy.lol>
Date: Wed, 25 Sep 2024 19:34:03 -0500
Subject: [PATCH] Add script for running proptests

---
 run_tests.sh | 10 ++++++++++
 1 file changed, 10 insertions(+)
 create mode 100755 run_tests.sh

diff --git a/run_tests.sh b/run_tests.sh
new file mode 100755
index 0000000..21e6232
--- /dev/null
+++ 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