TestMatchTaclet

all > de.uka.ilkd.key.rule > TestMatchTaclet
16

tests
0

failures
0

ignored
4.432s

duration
100%

successful

Tests

Test Duration Result
testBugsThathaveBeenRemoved() 0.010s passed
testCloseWithBoundRenaming() 0.004s passed
testConflict() 0.167s passed
testInsequentStateRestriction() 0.001s passed
testNoContextMatching() 0.003s passed
testPrefixMatching() 0.016s passed
testProgramMatch4() 4.175s passed
testProgramMatchEmptyBlock() 0.011s passed
testRWVarOccursFindAndIf() 0.005s passed
testRWVarOccursInAddAndIf() 0.006s passed
testUpdateMatch() 0.006s passed
testVarOccursInFindAndAddRule() 0.010s passed
testVarOccursInIfAndAddRule() 0.002s passed
testWithSubSortsTermSV() 0.010s passed
testWithSubSortsVariableSV() 0.001s passed
testXNotFreeInYConflict() 0.005s passed

Standard output

455743     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
455743     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms