diff options
| author | Botahamec <botahamec@outlook.com> | 2021-07-08 20:32:44 -0400 |
|---|---|---|
| committer | Botahamec <botahamec@outlook.com> | 2021-07-08 20:32:44 -0400 |
| commit | 7e73782a7d51b40a558b74793c1d6c1abdea857d (patch) | |
| tree | fba843de026f20cbcca0272c4ef521a6d4ac7ef9 /model/proptest-regressions/board | |
here's what i have so far
Diffstat (limited to 'model/proptest-regressions/board')
| -rw-r--r-- | model/proptest-regressions/board/tests.txt | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/model/proptest-regressions/board/tests.txt b/model/proptest-regressions/board/tests.txt new file mode 100644 index 0000000..3261322 --- /dev/null +++ b/model/proptest-regressions/board/tests.txt @@ -0,0 +1,8 @@ + +cc 3bbe506c845861580c16a52b227d9cd54564f6c16ed3ed0d2fb9ef376a442027 # shrinks to p = 1870702296, c = 727253032, k = 0, v = 0 +cc 82957097e53375440d4b8cc902cbb6a2fcd5f064484e30b8357490f720a4c9de # shrinks to p = 3676936387, c = 12254398, k = 0 +cc 77e7e59300115333b1315248284cd51ef694fe50e2372e6b7590307d99c3149f # shrinks to p = 1038876672, c = 2140405760, k = 0 +cc 6457fde5f0dbcbe0bdbccb381f2d93e73da398575430094e435cff50687ec3f4 # shrinks to p = 1095727536, c = 489620144, k = 0 +cc f7e8862b474becba204cb1a69be1ebe00474a36ff379a55a899cac65768f9723 # shrinks to p = 285212672, c = 81920000, k = 2315255808, v = 24 +cc e1ac7da29052dd94064e44f2fffe93d0b1cfcd66d2f91f1c16683ccc35d631a1 # shrinks to p = 687865856, c = 1543503872, k = 134217728, v = 24 +cc 947a98c8bd714a6fbaf973b6473ebb9896eff2b6573ff9a8bc2fb9e7409bb8d1 # shrinks to p = 256848745, c = 0, k = 691954520, v = 0 |