TestDeclParser

14

tests

0

failures

2

ignored

14.120s

duration

100%

successful

Tests

Test Duration Result
testAmbiguousDecls() - ignored
testArrayDecl() 1.112s passed
testFunctionDecl() 1.060s passed
testGenericSortDecl1() 1.285s passed
testGenericSortDecl2() 1.335s passed
testGenericSortDecl3() 1.278s passed
testGenericSortDecl4() 1.150s passed
testGenericSortDecl5() - ignored
testGenericSortDecl6() 1.126s passed
testHeurDecl() 1.261s passed
testPredicateDecl() 1.117s passed
testProxySortDecl() 1.101s passed
testSVDecl() 1.074s passed
testSortDecl() 1.221s passed

Standard output

266796     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
266796     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
266796     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
266796     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
266796     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
268126     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
268126     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
268126     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
268126     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
268126     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
269410     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
269410     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
269410     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
269410     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
269410     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
270549     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
270549     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
270549     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
270549     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
270549     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
271681     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
271681     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
271681     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
271681     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
271681     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
272909     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
272909     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
272909     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
272909     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
272909     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
274004     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
274004     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
274004     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
274004     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
274004     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
275123     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
275123     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
275123     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
275123     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
275123     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
276370     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
276370     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
276385     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 15 ms 
276385     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
276385     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
277441     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
277441     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
277441     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
277441     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
277441     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
278552     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
278552     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
278552     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
278552     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
278552     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
279637     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
279637     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
279637     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
279637     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
279637     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms