1 files changed, 28 insertions, 0 deletions
diff --git a/vendor/proptest/test-persistence-location/run-tests.sh b/vendor/proptest/test-persistence-location/run-tests.sh
new file mode 100755
index 000000000..a642055a6
--- /dev/null
+++ b/vendor/proptest/test-persistence-location/run-tests.sh
@@ -0,0 +1,28 @@
+#! /bin/sh
+
+find . -name \*.txt -o -name proptest-regressions -depth -exec rm -rf {} \; || \
+    exit $?
+
+(
+    cd single-crate
+    cargo test >cargo-out.txt 2>&1 # Ignore expected failure
+    cargo clean >/dev/null
+    if ! test -f proptest-regressions/submodule/code.txt; then
+        echo >&2 "Persistence file not written to the correct location. FS:"
+        find . >&2
+        echo >&2 "Cargo output:"
+        cat >&2 cargo-out.txt
+        exit 1
+    fi
+) && (
+    cd workspace
+    cargo test --all >cargo-out.txt 2>&1 # Ignore expected failure
+    cargo clean >/dev/null
+    if ! test -f member/proptest-regressions/submodule/code.txt; then
+        echo >&2 "Persistence file not written to the correct location. FS:"
+        find . >&2
+        echo >&2 "Cargo output:"
+        cat >&2 cargo-out.txt
+        exit 1
+    fi
+)