TestDeclParser

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

tests
0

failures
2

ignored
11.205s

duration
100%

successful

Tests

Test Duration Result
testAmbiguousDecls() - ignored
testArrayDecl() 0.946s passed
testFunctionDecl() 0.899s passed
testGenericSortDecl1() 1.022s passed
testGenericSortDecl2() 0.991s passed
testGenericSortDecl3() 0.894s passed
testGenericSortDecl4() 0.941s passed
testGenericSortDecl5() - ignored
testGenericSortDecl6() 0.864s passed
testHeurDecl() 0.956s passed
testPredicateDecl() 0.969s passed
testProxySortDecl() 0.863s passed
testSVDecl() 0.919s passed
testSortDecl() 0.941s passed

Standard output

209513     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
209514     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
210507     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
210508     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
211401     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
211402     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
212343     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
212343     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
213208     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
213209     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
214150     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
214151     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
215013     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
215014     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
215954     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
215955     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
216916     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
216917     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
217816     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
217816     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
218785     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
218786     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
219703     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
219704     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms