unisonweb/unison
1
0
Fork 0
mirror of https://github.com/unisonweb/unison.git synced 2024-09-19 14:29:27 +03:00
Code Issues Projects Releases Wiki Activity

Add all permutations of mutual verification

Browse Source 
Not sure if these actually generate different test cases, but it can't
hurt.
This commit is contained in:
Dan Doel 2023-08-14 12:34:08 -04:00
parent 7a70bd7c98
commit eb686993eb
2 changed files with 16 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
unison-src/transcripts-using-base/codeops.md
View File

@ -266,6 +266,9 @@ codeTests =
, verified "big" (termLink bigFun)
, verified "extensionality" (termLink extensionality)
, verified "identicality" (termLink identicality)
, verified "mutual0" (termLink mutual0)
, verified "mutual1" (termLink mutual0)
, verified "mutual2" (termLink mutual0)
, missed "mutual0" (termLink mutual0)
, missed "mutual1" (termLink mutual1)
, missed "mutual2" (termLink mutual2)
@ -273,6 +276,8 @@ codeTests =
, swapped "extensionality" (termLink extensionality)
, swapped "identicality" (termLink identicality)
, swapped "mututal0" (termLink mutual0)
, swapped "mututal1" (termLink mutual1)
, swapped "mututal2" (termLink mutual2)
]
```

12
unison-src/transcripts-using-base/codeops.output.md
View File

@ -410,6 +410,9 @@ codeTests =
, verified "big" (termLink bigFun)
, verified "extensionality" (termLink extensionality)
, verified "identicality" (termLink identicality)
, verified "mutual0" (termLink mutual0)
, verified "mutual1" (termLink mutual0)
, verified "mutual2" (termLink mutual0)
, missed "mutual0" (termLink mutual0)
, missed "mutual1" (termLink mutual1)
, missed "mutual2" (termLink mutual2)
@ -417,6 +420,8 @@ codeTests =
, swapped "extensionality" (termLink extensionality)
, swapped "identicality" (termLink identicality)
, swapped "mututal0" (termLink mutual0)
, swapped "mututal1" (termLink mutual1)
, swapped "mututal2" (termLink mutual2)
]
```
@ -460,6 +465,9 @@ codeTests =
◉ codeTests (verified big) passed
◉ codeTests (verified extensionality) passed
◉ codeTests (verified identicality) passed
◉ codeTests (verified mutual0) passed
◉ codeTests (verified mutual1) passed
◉ codeTests (verified mutual2) passed
◉ codeTests (rejected missing mutual0) passed
◉ codeTests (rejected missing mutual1) passed
◉ codeTests (rejected missing mutual2) passed
@ -467,8 +475,10 @@ codeTests =
◉ codeTests (rejected swapped extensionality) passed
◉ codeTests (rejected swapped identicality) passed
◉ codeTests (rejected swapped mututal0) passed
◉ codeTests (rejected swapped mututal1) passed
◉ codeTests (rejected swapped mututal2) passed
✅ 25 test(s) passing
✅ 30 test(s) passing
Tip: Use view codeTests to view the source of a test.