TestDeclParser

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

tests
0

failures
2

ignored
13.097s

duration
100%

successful

Tests

Test Duration Result
testAmbiguousDecls() - ignored
testArrayDecl() 1.131s passed
testFunctionDecl() 1.084s passed
testGenericSortDecl1() 1.254s passed
testGenericSortDecl2() 1.139s passed
testGenericSortDecl3() 1.008s passed
testGenericSortDecl4() 1.104s passed
testGenericSortDecl5() - ignored
testGenericSortDecl6() 1.081s passed
testHeurDecl() 1.004s passed
testPredicateDecl() 1.106s passed
testProxySortDecl() 1.157s passed
testSVDecl() 0.986s passed
testSortDecl() 1.043s passed

Standard output

287764     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
287764     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
287764     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
287764     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
287764     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
288905     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
288905     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
288905     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
288905     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
288905     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
289921     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
289921     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
289921     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
289921     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
289921     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
291016     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
291016     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
291016     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
291016     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
291016     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
292094     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
292094     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
292094     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
292094     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
292094     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
293142     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
293142     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
293142     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
293142     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
293142     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
294299     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
294299     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
294299     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
294299     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
294299     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
295424     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
295424     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
295424     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
295440     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 16 
295440     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
296441     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
296441     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
296441     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
296441     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
296441     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
297504     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
297504     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
297504     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
297519     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 15 
297519     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
298614     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
298614     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
298614     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
298614     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
298614     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
299599     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
299599     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
299599     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
299599     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
299599     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms