TestDeclParser

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

tests
0

failures
2

ignored
16.280s

duration
100%

successful

Tests

Test Duration Result
testAmbiguousDecls() - ignored
testArrayDecl() 1.345s passed
testFunctionDecl() 1.431s passed
testGenericSortDecl1() 1.355s passed
testGenericSortDecl2() 1.318s passed
testGenericSortDecl3() 1.328s passed
testGenericSortDecl4() 1.324s passed
testGenericSortDecl5() - ignored
testGenericSortDecl6() 1.346s passed
testHeurDecl() 1.367s passed
testPredicateDecl() 1.400s passed
testProxySortDecl() 1.361s passed
testSVDecl() 1.380s passed
testSortDecl() 1.325s passed

Standard output

314832     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
314832     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
314832     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
314832     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
314832     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
316161     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
316161     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
316161     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
316161     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
316161     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
317490     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
317490     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
317490     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
317490     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
317490     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
318803     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
318803     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
318803     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
318803     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
318803     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
320148     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
320148     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
320148     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
320148     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
320148     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
321476     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
321476     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
321476     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
321476     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
321476     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
322836     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
322836     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
322836     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
322836     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
322836     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
324181     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
324181     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
324181     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
324181     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
324181     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
325557     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
325557     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
325557     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
325557     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
325557     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
326964     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
326964     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
326964     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
326964     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
326980     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
328372     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
328372     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
328372     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
328372     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
328372     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
329748     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
329748     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
329748     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
329748     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
329748     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms