TestDeclParser

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

tests
0

failures
2

ignored
11.449s

duration
100%

successful

Tests

Test Duration Result
testAmbiguousDecls() - ignored
testArrayDecl() 0.903s passed
testFunctionDecl() 0.980s passed
testGenericSortDecl1() 1.071s passed
testGenericSortDecl2() 0.975s passed
testGenericSortDecl3() 0.921s passed
testGenericSortDecl4() 0.843s passed
testGenericSortDecl5() - ignored
testGenericSortDecl6() 0.900s passed
testHeurDecl() 0.998s passed
testPredicateDecl() 0.918s passed
testProxySortDecl() 0.980s passed
testSVDecl() 1.019s passed
testSortDecl() 0.940s passed

Standard output

213268     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
213269     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
214244     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
214245     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
215166     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
215166     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
216008     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
216009     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
216909     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
216910     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
217851     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
217851     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
218828     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
218830     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
219733     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
219733     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
220732     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
220733     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
221712     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
221712     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
222630     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
222631     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
223649     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
223650     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms