TestDeclParser

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

tests
0

failures
2

ignored
9.970s

duration
100%

successful

Tests

Test Duration Result
testAmbiguousDecls() - ignored
testArrayDecl() 0.819s passed
testFunctionDecl() 0.776s passed
testGenericSortDecl1() 1.045s passed
testGenericSortDecl2() 0.819s passed
testGenericSortDecl3() 0.782s passed
testGenericSortDecl4() 0.817s passed
testGenericSortDecl5() - ignored
testGenericSortDecl6() 0.822s passed
testHeurDecl() 0.818s passed
testPredicateDecl() 0.823s passed
testProxySortDecl() 0.813s passed
testSVDecl() 0.818s passed
testSortDecl() 0.818s passed

Standard output

192203     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
192203     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
193016     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
193016     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
193790     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
193806     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
194613     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
194613     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
195438     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
195438     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
196252     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
196252     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
197078     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
197078     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
197891     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
197891     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
198710     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
198710     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
199483     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
199483     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
200315     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
200315     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
201122     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
201122     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms