TestLegacyTacletMatch

all > de.uka.ilkd.key.rule.match.legacy > TestLegacyTacletMatch
4

tests
0

failures
0

ignored
1.703s

duration
100%

successful

Tests

Test Duration Result
testProgramMatch0() 1.698s passed
testProgramMatch1() 0.002s passed
testProgramMatch2() 0.002s passed
testStatementListMatch() 0.001s passed

Standard output

834194     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 16 ms 
834194     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 
834194     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
834194     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
834209     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 15ms 
834225     DEBUG Test worker     d.u.i.k.l.o.ProgramSV     Match failed: Former match of  SchemaVariable incompatible with  the current match. 
834225     DEBUG Test worker     d.u.i.k.r.m.l.TestLegacyTacletMatch %%%%%%%%%%%%