TestDeclParser

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

tests
0

failures
2

ignored
14.945s

duration
100%

successful

Tests

Test Duration Result
testAmbiguousDecls() - ignored
testArrayDecl() 1.300s passed
testFunctionDecl() 1.145s passed
testGenericSortDecl1() 1.271s passed
testGenericSortDecl2() 1.314s passed
testGenericSortDecl3() 1.181s passed
testGenericSortDecl4() 1.306s passed
testGenericSortDecl5() - ignored
testGenericSortDecl6() 1.249s passed
testHeurDecl() 1.253s passed
testPredicateDecl() 1.241s passed
testProxySortDecl() 1.296s passed
testSVDecl() 1.229s passed
testSortDecl() 1.160s passed

Standard output

278026     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
278026     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
278026     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
278026     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
278026     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
279350     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
279350     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
279350     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
279350     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
279350     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
280529     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
280529     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
280529     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
280529     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
280529     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
281827     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
281827     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
281827     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
281827     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
281827     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
283077     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
283077     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
283077     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
283077     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
283077     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
284235     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
284235     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
284235     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
284235     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
284235     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
285533     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
285533     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
285533     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
285533     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
285533     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
286830     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
286830     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
286830     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
286830     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
286830     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
288081     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
288081     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
288096     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
288096     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
288096     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
289232     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
289232     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
289232     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
289232     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
289232     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
290466     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
290466     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
290466     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
290466     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
290466     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
291690     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
291690     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
291690     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
291690     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
291690     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms