TestDeclParser

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

tests
0

failures
2

ignored
10.048s

duration
100%

successful

Tests

Test Duration Result
testAmbiguousDecls() - ignored
testArrayDecl() 0.841s passed
testFunctionDecl() 0.851s passed
testGenericSortDecl1() 0.916s passed
testGenericSortDecl2() 0.861s passed
testGenericSortDecl3() 0.785s passed
testGenericSortDecl4() 0.842s passed
testGenericSortDecl5() - ignored
testGenericSortDecl6() 0.838s passed
testHeurDecl() 0.834s passed
testPredicateDecl() 0.805s passed
testProxySortDecl() 0.804s passed
testSVDecl() 0.834s passed
testSortDecl() 0.836s passed

Standard output

193733     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
193733     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
193733     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
193733     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
193733     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
194593     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
194593     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
194593     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
194593     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
194593     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
195390     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
195390     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
195390     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
195390     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
195390     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
196234     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
196234     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
196234     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
196234     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
196234     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
197070     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
197070     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
197070     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
197070     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
197070     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
197914     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
197914     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
197914     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
197914     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
197914     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
198695     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
198695     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
198711     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 16 ms 
198711     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
198711     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
199547     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
199547     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
199547     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
199547     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
199547     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
200374     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
200374     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
200374     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
200374     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
200374     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
201231     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
201231     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
201231     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
201231     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
201231     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
202044     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
202044     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
202044     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
202044     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
202044     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
202877     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
202877     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
202877     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
202877     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
202877     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms