TestDeclParser

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

tests
0

failures
2

ignored
11.298s

duration
100%

successful

Tests

Test Duration Result
testAmbiguousDecls() - ignored
testArrayDecl() 0.985s passed
testFunctionDecl() 0.985s passed
testGenericSortDecl1() 0.978s passed
testGenericSortDecl2() 0.820s passed
testGenericSortDecl3() 0.882s passed
testGenericSortDecl4() 0.917s passed
testGenericSortDecl5() - ignored
testGenericSortDecl6() 0.971s passed
testHeurDecl() 0.947s passed
testPredicateDecl() 0.972s passed
testProxySortDecl() 0.978s passed
testSVDecl() 0.962s passed
testSortDecl() 0.901s passed

Standard output

209154     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
209154     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
209154     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
209155     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 1 
209155     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
209975     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
209975     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
209975     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
209975     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
209975     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
210857     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
210858     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
210858     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
210858     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
210858     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
211775     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
211775     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
211775     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
211775     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
211775     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
212747     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
212747     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
212747     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
212747     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
212747     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
213648     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
213648     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
213648     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
213648     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
213648     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
214625     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
214625     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
214626     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
214626     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
214626     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
215611     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
215611     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
215611     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
215611     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
215612     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
216559     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
216559     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
216559     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
216559     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
216559     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
217543     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
217543     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
217543     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
217544     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
217545     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
218516     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
218517     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
218517     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
218517     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
218517     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
219478     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
219478     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
219478     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
219478     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
219478     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms