TestDeclParser

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

tests
0

failures
2

ignored
11.571s

duration
100%

successful

Tests

Test Duration Result
testAmbiguousDecls() - ignored
testArrayDecl() 0.973s passed
testFunctionDecl() 0.904s passed
testGenericSortDecl1() 0.987s passed
testGenericSortDecl2() 0.992s passed
testGenericSortDecl3() 0.935s passed
testGenericSortDecl4() 0.982s passed
testGenericSortDecl5() - ignored
testGenericSortDecl6() 0.991s passed
testHeurDecl() 0.978s passed
testPredicateDecl() 0.966s passed
testProxySortDecl() 0.969s passed
testSVDecl() 0.971s passed
testSortDecl() 0.923s passed

Standard output

212123     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
212123     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
212123     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
212123     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
212123     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
213115     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
213115     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
213116     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
213116     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
213116     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
214051     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
214051     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
214051     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
214051     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
214051     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
215033     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
215033     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
215033     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
215033     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
215033     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
216025     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
216025     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
216025     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
216025     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
216025     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
216948     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
216948     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
216948     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
216948     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
216948     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
217918     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
217919     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
217919     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
217919     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
217919     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
218892     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
218892     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
218892     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
218893     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 1 
218893     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
219872     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
219872     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
219872     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
219872     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
219872     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
220775     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
220775     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
220776     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
220776     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
220776     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
221743     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
221743     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
221743     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
221743     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
221743     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
222714     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
222714     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
222714     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
222714     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
222714     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms