TestDeclParser

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

tests
0

failures
2

ignored
16.105s

duration
100%

successful

Tests

Test Duration Result
testAmbiguousDecls() - ignored
testArrayDecl() 1.327s passed
testFunctionDecl() 1.331s passed
testGenericSortDecl1() 1.376s passed
testGenericSortDecl2() 1.331s passed
testGenericSortDecl3() 1.344s passed
testGenericSortDecl4() 1.337s passed
testGenericSortDecl5() - ignored
testGenericSortDecl6() 1.349s passed
testHeurDecl() 1.326s passed
testPredicateDecl() 1.330s passed
testProxySortDecl() 1.351s passed
testSVDecl() 1.324s passed
testSortDecl() 1.379s passed

Standard output

320595     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
320595     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
320595     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
320611     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
320611     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
321943     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
321943     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
321943     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
321943     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
321943     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
323282     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
323282     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
323282     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
323282     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
323282     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
324621     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
324621     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
324621     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
324621     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
324621     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
325959     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
325975     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
325975     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
325975     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
325975     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
327340     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
327340     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
327340     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
327340     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
327340     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
328700     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
328700     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
328700     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
328700     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
328700     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
330032     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
330032     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
330032     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
330032     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
330032     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
331361     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
331361     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
331361     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
331361     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
331361     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
332690     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
332690     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
332690     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
332690     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
332690     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
334005     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
334005     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
334005     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
334005     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
334005     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
335338     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
335338     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
335338     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
335338     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
335338     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms