TestDeclParser

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

tests
0

failures
2

ignored
12.334s

duration
100%

successful

Tests

Test Duration Result
testAmbiguousDecls() - ignored
testArrayDecl() 1.039s passed
testFunctionDecl() 1.001s passed
testGenericSortDecl1() 1.137s passed
testGenericSortDecl2() 0.992s passed
testGenericSortDecl3() 1.096s passed
testGenericSortDecl4() 1.050s passed
testGenericSortDecl5() - ignored
testGenericSortDecl6() 1.116s passed
testHeurDecl() 0.946s passed
testPredicateDecl() 1.064s passed
testProxySortDecl() 0.977s passed
testSVDecl() 0.996s passed
testSortDecl() 0.920s passed

Standard output

230311     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
230311     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
230312     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
230312     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
230313     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
231304     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
231304     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
231305     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
231305     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
231305     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
232401     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
232401     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
232402     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
232402     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
232402     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
233451     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
233452     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
233452     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
233452     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
233452     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
234569     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
234569     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
234569     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
234569     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
234569     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
235489     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
235489     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
235489     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
235489     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
235489     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
236466     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
236466     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
236466     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
236466     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
236466     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
237504     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
237505     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
237505     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
237505     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
237505     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
238452     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
238452     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
238452     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
238452     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
238452     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
239452     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
239452     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
239452     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
239453     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 1 
239453     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
240517     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
240517     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
240517     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
240518     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
240518     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
241513     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
241513     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
241513     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
241513     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
241513     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms