| Test |
Duration |
Result |
| testBugsThathaveBeenRemoved() |
0.003s |
passed |
| testCloseWithBoundRenaming() |
0.002s |
passed |
| testConflict() |
0s |
passed |
| testInsequentStateRestriction() |
0s |
passed |
| testNoContextMatching() |
0.001s |
passed |
| testPrefixMatching() |
0.001s |
passed |
| testProgramMatch4() |
1.649s |
passed |
| testProgramMatchEmptyBlock() |
0.001s |
passed |
| testRWVarOccursFindAndIf() |
0.001s |
passed |
| testRWVarOccursInAddAndIf() |
0s |
passed |
| testUpdateMatch() |
0.002s |
passed |
| testVarOccursInFindAndAddRule() |
0.001s |
passed |
| testVarOccursInIfAndAddRule() |
0.001s |
passed |
| testWithSubSortsTermSV() |
0s |
passed |
| testWithSubSortsVariableSV() |
0s |
passed |
| testXNotFreeInYConflict() |
0.001s |
passed |