TestDeclParser

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

tests
0

failures
2

ignored
18.498s

duration
100%

successful

Tests

Test Duration Result
testAmbiguousDecls() - ignored
testArrayDecl() 1.561s passed
testFunctionDecl() 1.529s passed
testGenericSortDecl1() 1.684s passed
testGenericSortDecl2() 1.613s passed
testGenericSortDecl3() 1.522s passed
testGenericSortDecl4() 1.508s passed
testGenericSortDecl5() - ignored
testGenericSortDecl6() 1.513s passed
testHeurDecl() 1.503s passed
testPredicateDecl() 1.518s passed
testProxySortDecl() 1.531s passed
testSVDecl() 1.505s passed
testSortDecl() 1.511s passed

Standard output

358214     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
358214     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
358214     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
358214     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
358216     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 2ms 
359829     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
359830     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
359830     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
359830     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
359830     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
361351     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
361351     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
361351     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
361352     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
361352     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
362860     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
362860     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
362860     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
362860     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
362860     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
364374     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
364374     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
364374     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
364374     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
364374     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
365885     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
365885     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
365885     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
365885     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
365885     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
367414     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
367415     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
367416     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
367416     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
367416     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
368976     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
368977     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
368977     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
368978     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 1 
368978     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
370480     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
370481     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
370482     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
370482     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
370482     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
372009     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
372010     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
372010     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
372011     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
372011     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
373529     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
373529     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
373529     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
373530     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 1 
373530     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
375034     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
375034     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
375034     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
375034     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
375034     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms