TestDeclParser

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

tests
0

failures
2

ignored
13.108s

duration
100%

successful

Tests

Test Duration Result
testAmbiguousDecls() - ignored
testArrayDecl() 1.145s passed
testFunctionDecl() 1.121s passed
testGenericSortDecl1() 1.145s passed
testGenericSortDecl2() 1.122s passed
testGenericSortDecl3() 1.113s passed
testGenericSortDecl4() 1.005s passed
testGenericSortDecl5() - ignored
testGenericSortDecl6() 1.085s passed
testHeurDecl() 1.042s passed
testPredicateDecl() 1.111s passed
testProxySortDecl() 1.050s passed
testSVDecl() 1.029s passed
testSortDecl() 1.139s passed

Standard output

258113     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
258113     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
258113     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
258129     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 16 
258129     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
259249     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
259249     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
259249     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
259249     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
259249     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
260360     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
260360     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
260360     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
260360     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
260360     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
261369     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
261369     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
261369     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
261369     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
261369     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
262456     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
262456     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
262456     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
262456     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
262456     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
263595     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
263595     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
263595     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
263595     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
263595     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
264645     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 15 ms 
264645     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
264645     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
264645     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
264645     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
265767     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
265767     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
265767     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
265767     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
265782     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
266830     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
266830     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
266830     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
266830     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
266830     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
267955     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
267955     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
267955     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
267955     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
267955     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
269070     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
269070     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
269070     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
269070     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
269070     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
270092     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
270092     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
270092     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
270092     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
270108     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 16ms