TestDeclParser

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

tests
0

failures
2

ignored
17.500s

duration
100%

successful

Tests

Test Duration Result
testAmbiguousDecls() - ignored
testArrayDecl() 1.442s passed
testFunctionDecl() 1.519s passed
testGenericSortDecl1() 1.553s passed
testGenericSortDecl2() 1.597s passed
testGenericSortDecl3() 1.416s passed
testGenericSortDecl4() 1.425s passed
testGenericSortDecl5() - ignored
testGenericSortDecl6() 1.421s passed
testHeurDecl() 1.428s passed
testPredicateDecl() 1.459s passed
testProxySortDecl() 1.417s passed
testSVDecl() 1.436s passed
testSortDecl() 1.387s passed

Standard output

341937     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
341937     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
341937     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
341937     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
341937     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
343535     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
343535     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
343535     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
343535     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
343536     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
344952     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
344952     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
344952     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
344952     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
344953     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
346377     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
346377     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
346378     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
346378     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
346378     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
347799     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
347799     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
347799     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
347799     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
347799     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
349186     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
349186     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
349186     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
349186     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
349186     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
350603     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
350603     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
350604     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
350604     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
350604     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
352044     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
352044     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
352044     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
352045     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 1 
352045     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
353472     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
353472     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
353473     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
353473     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
353473     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
354990     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
354991     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
354992     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
354992     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
354993     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
356452     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
356452     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
356452     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
356453     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
356453     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
357888     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
357889     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
357889     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
357889     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
357889     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms