TestDeclParser

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

tests
0

failures
2

ignored
19.488s

duration
100%

successful

Tests

Test Duration Result
testAmbiguousDecls() - ignored
testArrayDecl() 1.606s passed
testFunctionDecl() 1.612s passed
testGenericSortDecl1() 1.669s passed
testGenericSortDecl2() 1.623s passed
testGenericSortDecl3() 1.615s passed
testGenericSortDecl4() 1.637s passed
testGenericSortDecl5() - ignored
testGenericSortDecl6() 1.610s passed
testHeurDecl() 1.581s passed
testPredicateDecl() 1.622s passed
testProxySortDecl() 1.654s passed
testSVDecl() 1.632s passed
testSortDecl() 1.627s passed

Standard output

368987     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
368987     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
368988     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
368988     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
368988     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
370611     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
370611     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
370611     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
370611     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
370611     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
372227     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
372227     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
372227     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
372227     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
372227     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
373864     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
373864     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
373865     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
373865     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
373865     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
375474     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
375474     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
375475     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
375475     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
375475     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
377102     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
377102     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
377102     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
377102     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
377102     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
378755     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
378755     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
378756     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
378756     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
378756     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
380361     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
380361     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
380361     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
380362     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 1 
380362     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
381942     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
381942     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
381943     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
381943     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
381943     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
383555     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
383556     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
383556     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
383556     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
383556     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
385179     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
385179     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
385179     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
385179     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
385179     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
386810     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
386810     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
386811     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
386811     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
386811     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms