TestDeclParser

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

tests
0

failures
2

ignored
19.095s

duration
100%

successful

Tests

Test Duration Result
testAmbiguousDecls() - ignored
testArrayDecl() 1.569s passed
testFunctionDecl() 1.562s passed
testGenericSortDecl1() 1.611s passed
testGenericSortDecl2() 1.598s passed
testGenericSortDecl3() 1.617s passed
testGenericSortDecl4() 1.564s passed
testGenericSortDecl5() - ignored
testGenericSortDecl6() 1.577s passed
testHeurDecl() 1.597s passed
testPredicateDecl() 1.654s passed
testProxySortDecl() 1.587s passed
testSVDecl() 1.582s passed
testSortDecl() 1.577s passed

Standard output

379895     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
379895     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
379895     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
379895     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
379895     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
381495     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 15 ms 
381495     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
381495     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
381495     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
381495     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
383110     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
383110     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
383110     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
383110     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
383110     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
384674     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
384674     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
384674     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
384674     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
384674     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
386253     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
386253     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
386253     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
386253     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
386253     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
387831     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
387831     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
387831     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
387831     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
387831     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
389418     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 16 ms 
389418     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
389418     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
389418     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
389418     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
390982     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
390982     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
390982     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
390982     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
390982     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
392585     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
392585     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
392585     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
392585     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
392585     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
394149     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
394149     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
394149     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
394149     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
394149     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
395801     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 15 ms 
395801     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
395801     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
395801     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
395801     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
397371     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
397371     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
397371     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
397371     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
397371     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms