TestDeclParser

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

tests
0

failures
2

ignored
16.793s

duration
100%

successful

Tests

Test Duration Result
testAmbiguousDecls() - ignored
testArrayDecl() 1.373s passed
testFunctionDecl() 1.329s passed
testGenericSortDecl1() 1.617s passed
testGenericSortDecl2() 1.480s passed
testGenericSortDecl3() 1.468s passed
testGenericSortDecl4() 1.469s passed
testGenericSortDecl5() - ignored
testGenericSortDecl6() 1.377s passed
testHeurDecl() 1.254s passed
testPredicateDecl() 1.333s passed
testProxySortDecl() 1.343s passed
testSVDecl() 1.403s passed
testSortDecl() 1.347s passed

Standard output

324659     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
324659     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
324659     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
324659     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
324659     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
326140     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
326140     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
326141     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
326141     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
326141     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
327609     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
327609     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
327609     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
327609     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
327609     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
329079     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
329080     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
329080     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
329080     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
329080     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
330457     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
330457     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
330458     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
330458     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
330458     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
331805     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
331805     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
331805     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
331805     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
331805     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
333148     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
333148     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
333149     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
333149     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
333149     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
334520     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
334521     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
334521     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
334521     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
334521     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
335775     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
335776     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
335776     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
335776     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
335776     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
337104     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
337104     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
337104     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
337105     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 1 
337105     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
338437     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
338437     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
338438     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
338438     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
338438     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
339840     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
339840     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
339841     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
339841     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
339841     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms