TestDeclParser

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

tests
0

failures
2

ignored
12.724s

duration
100%

successful

Tests

Test Duration Result
testAmbiguousDecls() - ignored
testArrayDecl() 1.092s passed
testFunctionDecl() 1.071s passed
testGenericSortDecl1() 1.129s passed
testGenericSortDecl2() 0.984s passed
testGenericSortDecl3() 1.091s passed
testGenericSortDecl4() 1.053s passed
testGenericSortDecl5() - ignored
testGenericSortDecl6() 0.997s passed
testHeurDecl() 0.992s passed
testPredicateDecl() 1.125s passed
testProxySortDecl() 1.084s passed
testSVDecl() 1.023s passed
testSortDecl() 1.083s passed

Standard output

239390     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
239391     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
239391     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
239391     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
239391     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
240376     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
240376     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
240376     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
240376     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
240376     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
241466     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
241466     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
241467     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
241467     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
241467     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
242520     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
242520     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
242520     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
242520     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
242520     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
243518     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
243518     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
243518     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
243518     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
243518     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
244600     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
244600     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
244601     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
244601     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
244601     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
245685     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
245685     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
245685     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
245685     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
245685     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
246771     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
246771     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
246772     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
246773     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 1 
246773     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
247768     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
247769     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
247769     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
247769     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
247769     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
248839     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
248839     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
248840     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
248840     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
248840     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
249966     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
249966     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
249966     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
249966     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
249966     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
250988     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
250988     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
250988     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
250988     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
250988     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms