TestDeclParser

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

tests
0

failures
2

ignored
12.543s

duration
100%

successful

Tests

Test Duration Result
testAmbiguousDecls() - ignored
testArrayDecl() 1.001s passed
testFunctionDecl() 1.066s passed
testGenericSortDecl1() 1.071s passed
testGenericSortDecl2() 0.977s passed
testGenericSortDecl3() 1.065s passed
testGenericSortDecl4() 1.065s passed
testGenericSortDecl5() - ignored
testGenericSortDecl6() 0.991s passed
testHeurDecl() 1.074s passed
testPredicateDecl() 0.993s passed
testProxySortDecl() 1.069s passed
testSVDecl() 1.093s passed
testSortDecl() 1.078s passed

Standard output

223180     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
223180     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
224156     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
224157     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
225221     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
225221     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
226286     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
226287     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
227278     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
227278     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
228356     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
228356     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
229425     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
229426     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
230425     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
230426     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
231499     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
231500     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
232566     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
232566     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
233559     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
233559     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
234651     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
234651     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms