TestDeclParser

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

tests
0

failures
2

ignored
17.123s

duration
100%

successful

Tests

Test Duration Result
testAmbiguousDecls() - ignored
testArrayDecl() 1.429s passed
testFunctionDecl() 1.452s passed
testGenericSortDecl1() 1.466s passed
testGenericSortDecl2() 1.419s passed
testGenericSortDecl3() 1.376s passed
testGenericSortDecl4() 1.389s passed
testGenericSortDecl5() - ignored
testGenericSortDecl6() 1.365s passed
testHeurDecl() 1.450s passed
testPredicateDecl() 1.437s passed
testProxySortDecl() 1.493s passed
testSVDecl() 1.412s passed
testSortDecl() 1.434s passed

Standard output

321985     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
321986     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
321986     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
321987     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
321987     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
323405     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
323406     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
323406     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
323407     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
323407     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
324783     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
324784     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
324784     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
324784     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
324784     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
326171     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
326171     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
326172     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
326172     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
326172     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
327538     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
327538     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
327539     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
327539     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
327539     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
328970     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
328970     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
328970     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
328970     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
328970     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
330464     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
330464     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
330465     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
330466     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
330466     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
331894     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
331895     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
331895     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
331895     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
331895     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
333346     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
333346     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
333346     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
333346     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
333346     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
334797     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
334798     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
334798     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
334798     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
334798     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
336234     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
336234     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
336234     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
336234     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
336234     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
337646     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
337647     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
337647     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
337647     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
337647     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms