TestDeclParser

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

tests
0

failures
2

ignored
11.571s

duration
100%

successful

Tests

Test Duration Result
testAmbiguousDecls() - ignored
testArrayDecl() 0.970s passed
testFunctionDecl() 0.965s passed
testGenericSortDecl1() 1.056s passed
testGenericSortDecl2() 1.009s passed
testGenericSortDecl3() 0.964s passed
testGenericSortDecl4() 0.977s passed
testGenericSortDecl5() - ignored
testGenericSortDecl6() 0.895s passed
testHeurDecl() 0.894s passed
testPredicateDecl() 0.961s passed
testProxySortDecl() 0.964s passed
testSVDecl() 0.954s passed
testSortDecl() 0.962s passed

Standard output

208178     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
208179     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
209188     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
209189     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
210153     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
210153     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
211130     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
211131     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
212026     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
212027     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
212988     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
212989     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
213950     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
213952     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 2 ms 
214921     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
214921     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
215817     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
215817     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
216781     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
216781     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
217742     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
217742     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
218695     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
218696     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms