TestDeclParser

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

tests
0

failures
2

ignored
19.973s

duration
100%

successful

Tests

Test Duration Result
testAmbiguousDecls() - ignored
testArrayDecl() 1.637s passed
testFunctionDecl() 1.589s passed
testGenericSortDecl1() 1.708s passed
testGenericSortDecl2() 1.662s passed
testGenericSortDecl3() 1.671s passed
testGenericSortDecl4() 1.741s passed
testGenericSortDecl5() - ignored
testGenericSortDecl6() 1.714s passed
testHeurDecl() 1.636s passed
testPredicateDecl() 1.666s passed
testProxySortDecl() 1.682s passed
testSVDecl() 1.589s passed
testSortDecl() 1.678s passed

Standard output

377748     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
377750     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
377751     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
377751     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
377751     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
379412     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
379413     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
379413     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
379413     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
379414     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
381084     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
381084     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
381085     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
381085     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
381085     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
382825     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
382825     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
382826     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
382826     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
382826     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
384541     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
384541     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
384541     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
384541     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
384541     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
386219     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
386219     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
386219     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
386219     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
386220     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 1ms 
387900     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
387900     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
387901     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
387901     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
387901     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
389536     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
389536     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
389536     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
389537     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 1 
389537     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
391173     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
391173     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
391173     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
391173     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
391173     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
392762     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
392762     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
392762     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
392763     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 1 
392763     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
394427     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
394428     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
394429     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
394429     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
394429     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms 
396017     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
396018     DEBUG Test worker     d.u.i.k.n.KeyIO           Load declarations of de.uka.ilkd.key.nparser.KeyAst$File:  <unknown>:1#1 
396018     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
396018     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: 2nd degree decls took 0 
396018     DEBUG Test worker     d.u.i.k.n.KeyIO           MODE: taclets took 0ms