TestDeclParser

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

tests
0

failures
2

ignored
18.675s

duration
100%

successful

Tests

Test Duration Result
testAmbiguousDecls() - ignored
testArrayDecl() 1.550s passed
testFunctionDecl() 1.542s passed
testGenericSortDecl1() 1.594s passed
testGenericSortDecl2() 1.567s passed
testGenericSortDecl3() 1.573s passed
testGenericSortDecl4() 1.565s passed
testGenericSortDecl5() - ignored
testGenericSortDecl6() 1.545s passed
testHeurDecl() 1.530s passed
testPredicateDecl() 1.525s passed
testProxySortDecl() 1.550s passed
testSVDecl() 1.527s passed
testSortDecl() 1.607s passed

Standard output

355813     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
355813     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
355813     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
355813     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
355813     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
357382     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
357382     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
357382     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
357382     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
357382     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
358953     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
358953     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
358953     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
358953     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
358953     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
360511     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
360511     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
360511     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
360511     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
360511     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
362064     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
362064     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
362064     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
362064     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
362064     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
363667     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
363667     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
363667     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
363667     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
363667     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
365221     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
365221     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
365221     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
365221     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
365221     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
366769     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
366769     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
366769     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
366769     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
366769     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
368301     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
368301     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
368301     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
368301     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
368301     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
369852     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
369852     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
369852     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
369852     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
369852     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
371368     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
371368     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
371368     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
371368     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
371368     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
372896     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
372896     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
372896     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
372896     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
372896     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms