TestDeclParser

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

tests
0

failures
2

ignored
13.011s

duration
100%

successful

Tests

Test Duration Result
testAmbiguousDecls() - ignored
testArrayDecl() 1.082s passed
testFunctionDecl() 1.106s passed
testGenericSortDecl1() 1.203s passed
testGenericSortDecl2() 1.107s passed
testGenericSortDecl3() 1.080s passed
testGenericSortDecl4() 1.124s passed
testGenericSortDecl5() - ignored
testGenericSortDecl6() 1.125s passed
testHeurDecl() 1.006s passed
testPredicateDecl() 0.995s passed
testProxySortDecl() 1.121s passed
testSVDecl() 1.051s passed
testSortDecl() 1.011s passed

Standard output

251022     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
251022     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
252125     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
252125     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
253221     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
253221     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
254334     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
254334     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
255459     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
255459     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
256468     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
256468     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
257592     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
257592     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
258677     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
258677     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
259689     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
259689     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
260787     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
260787     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
261772     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
261772     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
262829     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
262829     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms