TestDeclParser

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

tests
0

failures
2

ignored
14.302s

duration
100%

successful

Tests

Test Duration Result
testAmbiguousDecls() - ignored
testArrayDecl() 1.114s passed
testFunctionDecl() 1.181s passed
testGenericSortDecl1() 1.336s passed
testGenericSortDecl2() 1.198s passed
testGenericSortDecl3() 1.128s passed
testGenericSortDecl4() 1.206s passed
testGenericSortDecl5() - ignored
testGenericSortDecl6() 1.209s passed
testHeurDecl() 1.199s passed
testPredicateDecl() 1.183s passed
testProxySortDecl() 1.197s passed
testSVDecl() 1.188s passed
testSortDecl() 1.163s passed

Standard output

259396     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
259396     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
259397     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
259397     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
259397     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
260594     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
260594     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
260595     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
260595     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
260595     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
261723     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
261723     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
261723     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
261723     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
261724     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
262929     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
262929     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
262930     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
262930     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
262930     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
264139     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
264139     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
264139     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
264139     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
264139     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
265303     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
265303     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
265303     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
265303     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
265303     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
266500     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
266500     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
266500     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
266500     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
266500     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
267613     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
267613     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
267613     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
267614     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 1 
267614     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
268811     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
268812     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
268812     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
268813     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
268813     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
269994     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
269994     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
269994     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
269995     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 1 
269995     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
271178     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
271178     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
271178     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
271178     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
271178     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
272366     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
272366     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
272366     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
272366     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
272367     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms