TestDeclParser

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

tests
0

failures
2

ignored
13.055s

duration
100%

successful

Tests

Test Duration Result
testAmbiguousDecls() - ignored
testArrayDecl() 1.071s passed
testFunctionDecl() 1.096s passed
testGenericSortDecl1() 1.084s passed
testGenericSortDecl2() 1.065s passed
testGenericSortDecl3() 1.118s passed
testGenericSortDecl4() 1.079s passed
testGenericSortDecl5() - ignored
testGenericSortDecl6() 1.045s passed
testHeurDecl() 1.085s passed
testPredicateDecl() 1.061s passed
testProxySortDecl() 1.095s passed
testSVDecl() 1.212s passed
testSortDecl() 1.044s passed

Standard output

236786     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
236786     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
236786     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
236786     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
236786     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
237853     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
237853     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
237853     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
237853     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
237853     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
238979     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
238979     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
238979     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
238979     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
238979     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
240050     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
240050     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
240050     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
240050     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
240050     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
241098     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
241098     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
241098     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
241098     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
241098     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
242145     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
242145     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
242145     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
242145     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
242145     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
243242     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
243242     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
243242     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
243242     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
243242     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
244309     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
244309     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
244309     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
244309     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
244309     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
245395     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
245395     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
245395     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
245395     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
245395     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
246488     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
246488     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
246488     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
246488     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
246488     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
247552     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
247552     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
247552     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
247552     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
247552     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
248764     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
248764     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
248764     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
248764     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
248764     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms