TestDeclParser

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

tests
0

failures
2

ignored
15.559s

duration
100%

successful

Tests

Test Duration Result
testAmbiguousDecls() - ignored
testArrayDecl() 1.299s passed
testFunctionDecl() 1.303s passed
testGenericSortDecl1() 1.325s passed
testGenericSortDecl2() 1.306s passed
testGenericSortDecl3() 1.292s passed
testGenericSortDecl4() 1.293s passed
testGenericSortDecl5() - ignored
testGenericSortDecl6() 1.273s passed
testHeurDecl() 1.288s passed
testPredicateDecl() 1.292s passed
testProxySortDecl() 1.323s passed
testSVDecl() 1.283s passed
testSortDecl() 1.282s passed

Standard output

307410     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
307410     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
307410     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
307410     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
307410     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
308705     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
308705     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
308705     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
308705     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
308705     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
309992     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
309992     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
309992     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
309992     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
309992     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
311291     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
311291     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
311291     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
311291     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
311291     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
312564     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
312564     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
312564     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
312564     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
312564     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
313853     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
313853     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
313853     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
313853     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
313853     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
315167     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
315167     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
315167     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
315167     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
315167     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
316468     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
316468     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
316468     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
316468     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
316468     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
317761     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
317761     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
317761     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
317761     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
317761     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
319055     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
319055     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
319055     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
319055     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
319071     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
320352     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
320352     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
320352     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
320352     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
320352     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
321644     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
321644     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
321644     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
321644     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
321644     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms