TestTacletIndex

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

tests
0

failures
1

ignored
1.281s

duration
100%

successful

Tests

Test Duration Result
disabled_testNonInteractiveIsShownOnlyIfHeuristicIsMissed() - ignored
testMatchConflictOccurs() 0.003s passed
testNoMatchingFindRule() 0.003s passed
testNotFreeInYConflict() 0.010s passed
testShownIfHeuristicFits() 1.265s passed

Standard output

510550     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 15 ms 
510550     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\proof\ruleForTestTacletIndex.taclet:7#1 
510550     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
510550     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
510550     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms