TestMatchTaclet
|
100%
successful |
Tests
| Test | Duration | Result |
|---|---|---|
| testBugsThathaveBeenRemoved() | 0.004s | passed |
| testCloseWithBoundRenaming() | 0.037s | passed |
| testConflict() | 0.001s | passed |
| testInsequentStateRestriction() | 0.001s | passed |
| testNoContextMatching() | 0.002s | passed |
| testPrefixMatching() | 0.004s | passed |
| testProgramMatch4() | 2.462s | passed |
| testProgramMatchEmptyBlock() | 0.001s | passed |
| testRWVarOccursFindAndIf() | 0.001s | passed |
| testRWVarOccursInAddAndIf() | 0.001s | passed |
| testUpdateMatch() | 0.001s | passed |
| testVarOccursInFindAndAddRule() | 0.002s | passed |
| testVarOccursInIfAndAddRule() | 0s | passed |
| testWithSubSortsTermSV() | 0s | passed |
| testWithSubSortsVariableSV() | 0.001s | passed |
| testXNotFreeInYConflict() | 0s | passed |
Standard output
398097 WARN Test worker d.u.i.k.n.ParsingFacade D:\a\key\key\key.core\src\test\resources\testcase\..\de\uka\ilkd\key\rule\testRuleMatch.txt took 0 ms to parse. 398097 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1456 ms. 400473 WARN Test worker d.u.i.k.n.ParsingFacade D:\a\key\key\key.core\src\test\resources\testcase\..\de\uka\ilkd\key\rule\testRuleMatch.txt took 0 ms to parse. 400473 WARN Test worker d.u.i.k.n.ParsingFacade Parsing time 1456 ms. 400473 INFO Test worker d.u.i.k.n.KeyIO Parsing took 0 ms 400473 DEBUG Test worker d.u.i.k.n.KeyIO Load declarations of de.uka.ilkd.key.nparser.KeyAst$File: D:\a\key\key\key.core\src\test\resources\testcase\..\de\uka\ilkd\key\rule\testRuleMatch.txt:8#1 400473 INFO Test worker d.u.i.k.n.KeyIO MODE: declarations took 0 ms 400473 DEBUG Test worker d.u.i.k.n.KeyIO MODE: 2nd degree decls took 0 400551 DEBUG Test worker d.u.i.k.n.KeyIO MODE: taclets took 78ms