summaryrefslogtreecommitdiff
path: root/lambda-calcul/rust/proptest-regressions/ast.txt
diff options
context:
space:
mode:
Diffstat (limited to 'lambda-calcul/rust/proptest-regressions/ast.txt')
-rw-r--r--lambda-calcul/rust/proptest-regressions/ast.txt7
1 files changed, 7 insertions, 0 deletions
diff --git a/lambda-calcul/rust/proptest-regressions/ast.txt b/lambda-calcul/rust/proptest-regressions/ast.txt
new file mode 100644
index 0000000..7a8c8d1
--- /dev/null
+++ b/lambda-calcul/rust/proptest-regressions/ast.txt
@@ -0,0 +1,7 @@
+# Seeds for failure cases proptest has generated in the past. It is
+# automatically read and these particular cases re-run before any
+# novel cases are generated.
+#
+# It is recommended to check this file in to source control so that
+# everyone who runs the test benefits from these saved cases.
+cc 5ce217238e9cf11ab2c5369b545fd374a630a943184d4b61579b65aa4d8f49b8 # shrinks to mut atoms = [Sym("ꧠ"), Sym("ቊ")]