TestDeclParser

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

tests
0

failures
2

ignored
9.320s

duration
100%

successful

Tests

Test Duration Result
testAmbiguousDecls() - ignored
testArrayDecl() 0.813s passed
testFunctionDecl() 0.730s passed
testGenericSortDecl1() 0.807s passed
testGenericSortDecl2() 0.735s passed
testGenericSortDecl3() 0.788s passed
testGenericSortDecl4() 0.784s passed
testGenericSortDecl5() - ignored
testGenericSortDecl6() 0.783s passed
testHeurDecl() 0.782s passed
testPredicateDecl() 0.778s passed
testProxySortDecl() 0.813s passed
testSVDecl() 0.777s passed
testSortDecl() 0.730s passed

Standard output

177220     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
177221     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
177957     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
177957     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
178745     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
178746     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
179529     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
179529     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
180313     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
180313     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
181042     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
181043     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
181852     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
181852     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
182669     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
182669     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
183452     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
183453     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
184182     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
184182     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
184960     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
184960     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
185737     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
185737     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms