TestDeclParser

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

tests
0

failures
2

ignored
19.284s

duration
100%

successful

Tests

Test Duration Result
testAmbiguousDecls() - ignored
testArrayDecl() 1.597s passed
testFunctionDecl() 1.628s passed
testGenericSortDecl1() 1.674s passed
testGenericSortDecl2() 1.609s passed
testGenericSortDecl3() 1.592s passed
testGenericSortDecl4() 1.601s passed
testGenericSortDecl5() - ignored
testGenericSortDecl6() 1.600s passed
testHeurDecl() 1.585s passed
testPredicateDecl() 1.605s passed
testProxySortDecl() 1.560s passed
testSVDecl() 1.612s passed
testSortDecl() 1.621s passed

Standard output

372300     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
372300     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
372300     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
372300     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
372300     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
373916     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
373916     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
373916     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
373916     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
373916     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
375511     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
375511     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
375511     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
375511     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
375511     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
377110     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
377110     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
377110     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
377110     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
377110     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
378705     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
378705     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
378705     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
378705     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
378705     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
380333     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
380333     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
380333     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
380333     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
380333     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
381888     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
381888     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
381888     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
381888     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
381888     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
383490     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
383490     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
383490     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
383490     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
383490     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
385069     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
385069     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
385069     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
385069     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
385069     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
386704     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
386704     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
386704     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
386704     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
386704     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
388313     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
388313     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
388313     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
388313     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
388313     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
389921     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
389921     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
389921     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
389921     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
389921     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms