TestDeclParser

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

tests
0

failures
2

ignored
9.409s

duration
100%

successful

Tests

Test Duration Result
testAmbiguousDecls() - ignored
testArrayDecl() 0.801s passed
testFunctionDecl() 0.797s passed
testGenericSortDecl1() 0.864s passed
testGenericSortDecl2() 0.831s passed
testGenericSortDecl3() 0.731s passed
testGenericSortDecl4() 0.796s passed
testGenericSortDecl5() - ignored
testGenericSortDecl6() 0.799s passed
testHeurDecl() 0.733s passed
testPredicateDecl() 0.728s passed
testProxySortDecl() 0.806s passed
testSVDecl() 0.795s passed
testSortDecl() 0.727s passed

Standard output

178715     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
178715     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
179548     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
179548     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
180279     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
180279     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
181076     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
181076     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
181877     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
181877     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
182605     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
182605     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
183405     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
183411     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 2 ms 
184210     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
184210     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
184945     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
184946     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
185742     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
185743     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
186472     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
186472     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
187266     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
187267     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms