TestDeclParser

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

tests
0

failures
2

ignored
12.184s

duration
100%

successful

Tests

Test Duration Result
testAmbiguousDecls() - ignored
testArrayDecl() 0.985s passed
testFunctionDecl() 0.958s passed
testGenericSortDecl1() 1.026s passed
testGenericSortDecl2() 1.065s passed
testGenericSortDecl3() 1.083s passed
testGenericSortDecl4() 0.990s passed
testGenericSortDecl5() - ignored
testGenericSortDecl6() 1.045s passed
testHeurDecl() 0.961s passed
testPredicateDecl() 0.921s passed
testProxySortDecl() 1.106s passed
testSVDecl() 0.953s passed
testSortDecl() 1.091s passed

Standard output

218628     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
218629     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
219695     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
219695     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
220778     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
220778     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
221769     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
221769     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
222815     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
222816     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
223907     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
223908     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
225014     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
225014     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
225998     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
225998     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
226961     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
226961     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
227918     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
227918     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
228840     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
228840     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
229792     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
229792     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms