TestTacletIndex

all > de.uka.ilkd.key.proof > TestTacletIndex
5

tests
0

failures
1

ignored
0.990s

duration
100%

successful

Tests

Test Duration Result
disabled_testNonInteractiveIsShownOnlyIfHeuristicIsMissed() - ignored
testMatchConflictOccurs() 0.001s passed
testNoMatchingFindRule() 0.001s passed
testNotFreeInYConflict() 0.006s passed
testShownIfHeuristicFits() 0.981s passed

Standard output

473322     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 12 ms 
473322     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  /home/runner/work/key/key/key.core/src/test/resources/testcase/../de/uka/ilkd/key/proof/ruleForTestTacletIndex.taclet:7#1 
473323     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
473323     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
473324     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 1ms