VMTacletMatcherTest

all > de.uka.ilkd.key.rule.match.vm > VMTacletMatcherTest
6

tests
0

failures
0

ignored
0.008s

duration
100%

successful

Tests

Test Duration Result
matchVarBindingTermSingle() 0.001s passed
testMatchFunctionTerm() 0.001s passed
testMatchPropositionalFormula() 0.002s passed
testMatchVarBindingTermHiding() 0.001s passed
testMatchVarBindingTermMoreHiding() 0.002s passed
testMatchVarBindingTermNested() 0.001s passed

Standard output

565915     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Reading KeY file file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/ldt.key 
565915     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Read specifications obtained when parsing the Java files (usually JML and Strings.key) from file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/ldt.key 
566906     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Reading KeY file src\test\resources\testcase\tacletmatch\tacletMatch1.key 
566906     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Reading KeY file file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/String.key 
566906     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Read specifications obtained when parsing the Java files (usually JML and Strings.key) from file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/String.key 
569078     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Read specifications obtained when parsing the Java files (usually JML and Strings.key) from src\test\resources\testcase\tacletmatch\tacletMatch1.key 
570050     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Reading KeY file src\test\resources\testcase\tacletmatch\tacletMatch1.key 
570050     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Reading KeY file file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/String.key 
570050     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Read specifications obtained when parsing the Java files (usually JML and Strings.key) from file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/String.key 
572121     DEBUG Test worker     d.u.i.k.p.i.KeYFile       Read specifications obtained when parsing the Java files (usually JML and Strings.key) from src\test\resources\testcase\tacletmatch\tacletMatch1.key