TestDeclParser

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

tests
0

failures
2

ignored
14.494s

duration
100%

successful

Tests

Test Duration Result
testAmbiguousDecls() - ignored
testArrayDecl() 1.204s passed
testFunctionDecl() 1.210s passed
testGenericSortDecl1() 1.278s passed
testGenericSortDecl2() 1.171s passed
testGenericSortDecl3() 1.211s passed
testGenericSortDecl4() 1.200s passed
testGenericSortDecl5() - ignored
testGenericSortDecl6() 1.199s passed
testHeurDecl() 1.172s passed
testPredicateDecl() 1.214s passed
testProxySortDecl() 1.206s passed
testSVDecl() 1.213s passed
testSortDecl() 1.216s passed

Standard output

301900     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
301900     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
301900     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
301900     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
301900     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
303088     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
303088     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
303088     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
303088     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
303088     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
304292     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
304292     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
304292     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
304292     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
304292     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
305496     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
305496     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
305496     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
305496     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
305496     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
306700     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
306700     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
306700     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
306700     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
306700     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
307920     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
307920     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
307920     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
307920     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
307920     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
309123     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
309123     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
309123     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
309123     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
309123     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
310327     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
310327     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
310327     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
310327     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
310327     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
311499     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
311499     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
311499     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
311499     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
311499     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
312718     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
312718     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
312718     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
312718     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
312718     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
313923     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
313923     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
313923     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
313923     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
313923     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
315125     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
315125     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
315125     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
315125     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
315125     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms