TestDeclParser

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

tests
0

failures
2

ignored
11.204s

duration
100%

successful

Tests

Test Duration Result
testAmbiguousDecls() - ignored
testArrayDecl() 0.947s passed
testFunctionDecl() 0.947s passed
testGenericSortDecl1() 0.891s passed
testGenericSortDecl2() 0.985s passed
testGenericSortDecl3() 0.992s passed
testGenericSortDecl4() 0.951s passed
testGenericSortDecl5() - ignored
testGenericSortDecl6() 0.957s passed
testHeurDecl() 0.879s passed
testPredicateDecl() 0.953s passed
testProxySortDecl() 0.949s passed
testSVDecl() 0.877s passed
testSortDecl() 0.876s passed

Standard output

206856     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
206856     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
207840     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
207841     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
208832     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
208832     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
209783     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
209784     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
210743     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
210743     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
211618     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
211618     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
212567     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
212568     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
213514     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
213514     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
214395     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
214395     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
215341     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
215342     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
216293     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
216295     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
217171     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
217172     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms