TestDeclParser

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

tests
0

failures
2

ignored
12.528s

duration
100%

successful

Tests

Test Duration Result
testAmbiguousDecls() - ignored
testArrayDecl() 1.058s passed
testFunctionDecl() 0.996s passed
testGenericSortDecl1() 1.144s passed
testGenericSortDecl2() 1.041s passed
testGenericSortDecl3() 1.060s passed
testGenericSortDecl4() 0.977s passed
testGenericSortDecl5() - ignored
testGenericSortDecl6() 1.057s passed
testHeurDecl() 1.052s passed
testPredicateDecl() 1.059s passed
testProxySortDecl() 0.971s passed
testSVDecl() 1.048s passed
testSortDecl() 1.065s passed

Standard output

237813     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
237813     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
237813     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
237813     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
237813     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
238860     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
238860     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
238860     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
238860     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
238860     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
239922     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
239922     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
239922     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
239922     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
239922     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
240892     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
240892     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
240892     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
240892     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
240892     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
241955     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
241955     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
241955     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
241955     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
241955     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
243031     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
243031     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
243031     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
243031     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
243031     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
244001     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
244001     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
244001     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
244001     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
244001     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
245049     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
245049     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
245049     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
245049     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
245049     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
246110     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
246110     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
246110     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
246110     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
246110     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
247106     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
247106     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
247106     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
247106     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
247106     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
248156     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
248156     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
248156     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
248156     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
248156     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
249205     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
249205     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
249205     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
249205     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
249205     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms