TestDeclParser

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

tests
0

failures
2

ignored
18.929s

duration
100%

successful

Tests

Test Duration Result
testAmbiguousDecls() - ignored
testArrayDecl() 1.592s passed
testFunctionDecl() 1.550s passed
testGenericSortDecl1() 1.615s passed
testGenericSortDecl2() 1.595s passed
testGenericSortDecl3() 1.587s passed
testGenericSortDecl4() 1.652s passed
testGenericSortDecl5() - ignored
testGenericSortDecl6() 1.563s passed
testHeurDecl() 1.557s passed
testPredicateDecl() 1.561s passed
testProxySortDecl() 1.580s passed
testSVDecl() 1.537s passed
testSortDecl() 1.540s passed

Standard output

359950     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
359950     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
359950     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
359950     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
359950     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
361554     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
361554     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
361554     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
361554     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
361554     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
363152     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
363152     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
363152     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
363152     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
363152     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
364793     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
364793     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
364793     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
364793     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
364793     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
366371     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
366371     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
366371     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
366371     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
366371     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
367898     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
367898     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
367898     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
367898     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
367898     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
369488     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
369488     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
369488     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
369488     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
369488     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
371071     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
371071     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
371071     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
371071     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
371071     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
372627     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
372627     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
372627     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
372627     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
372627     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
374163     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
374163     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
374163     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
374163     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
374178     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
375728     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
375728     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
375728     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
375728     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
375728     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
377276     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
377276     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
377276     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
377276     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
377276     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms