TestDeclParser

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

tests
0

failures
2

ignored
13.774s

duration
100%

successful

Tests

Test Duration Result
testAmbiguousDecls() - ignored
testArrayDecl() 1.211s passed
testFunctionDecl() 1.185s passed
testGenericSortDecl1() 1.150s passed
testGenericSortDecl2() 1.147s passed
testGenericSortDecl3() 1.203s passed
testGenericSortDecl4() 1.075s passed
testGenericSortDecl5() - ignored
testGenericSortDecl6() 1.163s passed
testHeurDecl() 1.103s passed
testPredicateDecl() 1.130s passed
testProxySortDecl() 1.116s passed
testSVDecl() 1.124s passed
testSortDecl() 1.166s passed

Standard output

276508     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
276508     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
276508     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
276508     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
276508     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
277651     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
277651     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
277651     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
277651     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
277651     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
278854     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
278854     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
278854     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
278854     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
278854     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
279933     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
279933     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
279933     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
279933     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
279933     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
281090     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
281090     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
281090     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
281090     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
281090     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
282262     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
282262     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
282262     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
282262     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
282262     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
283373     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
283373     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
283373     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
283373     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
283373     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
284591     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
284591     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
284591     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
284591     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
284591     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
285701     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
285701     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
285701     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
285701     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
285701     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
286889     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
286889     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
286889     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
286889     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
286889     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
288015     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
288015     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
288015     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
288015     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
288015     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
289144     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
289144     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
289144     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
289144     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
289144     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms