TestDeclParser

all > de.uka.ilkd.key.parser > TestDeclParser
14

tests
0

failures
2

ignored
18.366s

duration
100%

successful

Tests

Test Duration Result
testAmbiguousDecls() - ignored
testArrayDecl() 1.505s passed
testFunctionDecl() 1.497s passed
testGenericSortDecl1() 1.616s passed
testGenericSortDecl2() 1.577s passed
testGenericSortDecl3() 1.545s passed
testGenericSortDecl4() 1.519s passed
testGenericSortDecl5() - ignored
testGenericSortDecl6() 1.507s passed
testHeurDecl() 1.505s passed
testPredicateDecl() 1.508s passed
testProxySortDecl() 1.560s passed
testSVDecl() 1.496s passed
testSortDecl() 1.531s passed

Standard output

353811     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 15 ms 
353811     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
353811     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
353811     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
353811     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
355386     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
355386     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
355386     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
355386     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
355386     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
356933     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
356933     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
356933     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
356933     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
356933     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
358461     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
358461     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
358461     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
358461     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
358461     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
359961     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
359961     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
359961     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
359961     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
359961     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
361501     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
361501     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
361501     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
361501     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
361501     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
363052     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
363052     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
363052     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
363052     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
363052     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
364553     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
364553     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
364553     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
364553     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
364553     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
366064     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
366064     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
366064     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
366064     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
366064     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
367550     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
367550     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
367550     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
367550     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
367550     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
369069     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
369069     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
369069     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
369069     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
369069     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
370576     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 15 ms 
370577     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
370577     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
370577     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
370577     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms