VMTacletMatcherTest

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

tests
0

failures
0

ignored
0.006s

duration
100%

successful

Tests

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

Standard output

406652     WARN  Test worker     d.u.i.k.n.ParsingFacade   file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/ldt.key took 0 ms to parse. 
406652     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1523 ms. 
406652     WARN  Test worker     d.u.i.k.n.ParsingFacade   file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/boolean.key took 0 ms to parse. 
406652     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1523 ms. 
406652     WARN  Test worker     d.u.i.k.n.ParsingFacade   file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/ruleSetsDeclarations.key took 0 ms to parse. 
406652     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1523 ms. 
406652     WARN  Test worker     d.u.i.k.n.ParsingFacade   file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/integerHeader.key took 0 ms to parse. 
406652     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1523 ms. 
406652     WARN  Test worker     d.u.i.k.n.ParsingFacade   file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/floatHeader.key took 0 ms to parse. 
406652     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1523 ms. 
406652     WARN  Test worker     d.u.i.k.n.ParsingFacade   file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/heap.key took 0 ms to parse. 
406652     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1523 ms. 
406652     WARN  Test worker     d.u.i.k.n.ParsingFacade   file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/locSets.key took 0 ms to parse. 
406652     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1523 ms. 
406652     WARN  Test worker     d.u.i.k.n.ParsingFacade   file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/permission.key took 0 ms to parse. 
406652     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1523 ms. 
406652     WARN  Test worker     d.u.i.k.n.ParsingFacade   file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/reach.key took 0 ms to parse. 
406652     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1523 ms. 
406652     WARN  Test worker     d.u.i.k.n.ParsingFacade   file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/seq.key took 0 ms to parse. 
406652     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1523 ms. 
406652     WARN  Test worker     d.u.i.k.n.ParsingFacade   file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/map.key took 0 ms to parse. 
406652     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1523 ms. 
406652     WARN  Test worker     d.u.i.k.n.ParsingFacade   file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/freeADT.key took 0 ms to parse. 
406652     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1523 ms. 
406652     WARN  Test worker     d.u.i.k.n.ParsingFacade   file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/wellfound.key took 0 ms to parse. 
406652     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1523 ms. 
406652     WARN  Test worker     d.u.i.k.n.ParsingFacade   file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/charListHeader.key took 0 ms to parse. 
406652     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1523 ms. 
406668     WARN  Test worker     d.u.i.k.n.ParsingFacade   D:\a\key\key\key.core\src\test\resources\testcase\tacletmatch\tacletMatch1.key took 0 ms to parse. 
406668     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1523 ms. 
407422     WARN  Test worker     d.u.i.k.n.ParsingFacade   file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/String.key took 0 ms to parse. 
407422     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1523 ms. 
409098     WARN  Test worker     d.u.i.k.n.ParsingFacade   D:\a\key\key\key.core\src\test\resources\testcase\tacletmatch\tacletMatch1.key took 0 ms to parse. 
409098     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1523 ms. 
409896     WARN  Test worker     d.u.i.k.n.ParsingFacade   file:/D:/a/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/String.key took 0 ms to parse. 
409896     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1523 ms.