TestDeclParser

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

tests
0

failures
2

ignored
16.841s

duration
100%

successful

Tests

Test Duration Result
testAmbiguousDecls() - ignored
testArrayDecl() 1.527s passed
testFunctionDecl() 1.326s passed
testGenericSortDecl1() 2.015s passed
testGenericSortDecl2() 1.300s passed
testGenericSortDecl3() 1.315s passed
testGenericSortDecl4() 1.314s passed
testGenericSortDecl5() - ignored
testGenericSortDecl6() 1.366s passed
testHeurDecl() 1.328s passed
testPredicateDecl() 1.310s passed
testProxySortDecl() 1.360s passed
testSVDecl() 1.314s passed
testSortDecl() 1.366s passed

Standard output

300428     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
300428     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
300428     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
300428     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
300428     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
301725     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
301725     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
301725     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
301725     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
301725     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
303040     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
303040     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
303040     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
303040     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
303040     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
304357     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
304357     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
304357     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
304357     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
304357     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
305717     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
305717     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
305717     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
305717     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
305717     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
307084     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
307084     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
307084     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
307084     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
307084     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
308435     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
308451     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
308451     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
308451     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
308451     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
309992     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
309992     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
309992     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
309993     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 1 
309993     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
311310     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
311310     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
311310     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
311310     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
311310     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
312633     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
312633     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
312633     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
312633     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
312633     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
313937     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
313937     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
313937     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
313937     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
313937     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
315253     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
315253     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
315253     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
315253     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
315253     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms