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() 0.001s passed
testMatchPropositionalFormula() 0.002s passed
testMatchVarBindingTermHiding() 0.001s passed
testMatchVarBindingTermMoreHiding() 0s passed
testMatchVarBindingTermNested() 0.001s passed

Standard output

429890     WARN  Test worker     d.u.i.k.n.ParsingFacade   file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/ldt.key took 0 ms to parse. 
429890     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1526 ms. 
429890     WARN  Test worker     d.u.i.k.n.ParsingFacade   file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/boolean.key took 0 ms to parse. 
429890     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1526 ms. 
429891     WARN  Test worker     d.u.i.k.n.ParsingFacade   file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/ruleSetsDeclarations.key took 1 ms to parse. 
429891     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1527 ms. 
429892     WARN  Test worker     d.u.i.k.n.ParsingFacade   file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/integerHeader.key took 0 ms to parse. 
429892     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1527 ms. 
429893     WARN  Test worker     d.u.i.k.n.ParsingFacade   file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/floatHeader.key took 1 ms to parse. 
429893     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1528 ms. 
429893     WARN  Test worker     d.u.i.k.n.ParsingFacade   file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/heap.key took 0 ms to parse. 
429893     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1528 ms. 
429893     WARN  Test worker     d.u.i.k.n.ParsingFacade   file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/locSets.key took 0 ms to parse. 
429893     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1528 ms. 
429893     WARN  Test worker     d.u.i.k.n.ParsingFacade   file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/permission.key took 0 ms to parse. 
429893     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1528 ms. 
429893     WARN  Test worker     d.u.i.k.n.ParsingFacade   file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/reach.key took 0 ms to parse. 
429893     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1528 ms. 
429893     WARN  Test worker     d.u.i.k.n.ParsingFacade   file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/seq.key took 0 ms to parse. 
429893     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1528 ms. 
429894     WARN  Test worker     d.u.i.k.n.ParsingFacade   file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/map.key took 1 ms to parse. 
429895     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1529 ms. 
429895     WARN  Test worker     d.u.i.k.n.ParsingFacade   file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/freeADT.key took 0 ms to parse. 
429895     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1529 ms. 
429895     WARN  Test worker     d.u.i.k.n.ParsingFacade   file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/wellfound.key took 0 ms to parse. 
429895     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1529 ms. 
429895     WARN  Test worker     d.u.i.k.n.ParsingFacade   file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/proof/rules/charListHeader.key took 0 ms to parse. 
429895     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1529 ms. 
429902     WARN  Test worker     d.u.i.k.n.ParsingFacade   /home/runner/work/key/key/key.core/src/test/resources/testcase/tacletmatch/tacletMatch1.key took 1 ms to parse. 
429902     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1530 ms. 
430757     WARN  Test worker     d.u.i.k.n.ParsingFacade   file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/String.key took 1 ms to parse. 
430757     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1531 ms. 
432659     WARN  Test worker     d.u.i.k.n.ParsingFacade   /home/runner/work/key/key/key.core/src/test/resources/testcase/tacletmatch/tacletMatch1.key took 0 ms to parse. 
432660     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1531 ms. 
433540     WARN  Test worker     d.u.i.k.n.ParsingFacade   file:/home/runner/work/key/key/key.core/build/resources/main/de/uka/ilkd/key/java/JavaRedux/java/lang/String.key took 1 ms to parse. 
433540     WARN  Test worker     d.u.i.k.n.ParsingFacade   Parsing time 1532 ms.