TestTacletIndex

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

tests
0

failures
1

ignored
1.269s

duration
100%

successful

Tests

Test Duration Result
disabled_testNonInteractiveIsShownOnlyIfHeuristicIsMissed() - ignored
testMatchConflictOccurs() 0.003s passed
testNoMatchingFindRule() 0.002s passed
testNotFreeInYConflict() 0.007s passed
testShownIfHeuristicFits() 1.257s passed

Standard output

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