TestMatchTaclet
|
100%
successful |
Tests
| Test | Duration | Result |
|---|---|---|
| testBugsThathaveBeenRemoved() | 0.005s | passed |
| testCloseWithBoundRenaming() | 0.001s | passed |
| testConflict() | 0s | passed |
| testInsequentStateRestriction() | 0.001s | passed |
| testNoContextMatching() | 0.001s | passed |
| testPrefixMatching() | 0.003s | passed |
| testProgramMatch4() | 1.722s | passed |
| testProgramMatchEmptyBlock() | 0.002s | passed |
| testRWVarOccursFindAndIf() | 0.001s | passed |
| testRWVarOccursInAddAndIf() | 0.001s | passed |
| testUpdateMatch() | 0.002s | passed |
| testVarOccursInFindAndAddRule() | 0.001s | passed |
| testVarOccursInIfAndAddRule() | 0s | passed |
| testWithSubSortsTermSV() | 0.001s | passed |
| testWithSubSortsVariableSV() | 0.001s | passed |
| testXNotFreeInYConflict() | 0.001s | passed |
Standard output
467455 DEBUG Test worker d.u.i.k.p.i.KeYFile Reading KeY file /home/runner/work/key/key/key.core/src/test/resources/testcase/../de/uka/ilkd/key/rule/testRuleMatch.txt 469131 INFO Test worker d.u.i.k.n.KeyIO Parsing took 1 ms 469132 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: /home/runner/work/key/key/key.core/src/test/resources/testcase/../de/uka/ilkd/key/rule/testRuleMatch.txt:8#1 469132 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms 469132 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0 469163 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 30ms