TestDeclParser

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

tests
0

failures
2

ignored
11.466s

duration
100%

successful

Tests

Test Duration Result
testAmbiguousDecls() - ignored
testArrayDecl() 0.958s passed
testFunctionDecl() 0.931s passed
testGenericSortDecl1() 1.169s passed
testGenericSortDecl2() 0.987s passed
testGenericSortDecl3() 0.888s passed
testGenericSortDecl4() 0.946s passed
testGenericSortDecl5() - ignored
testGenericSortDecl6() 0.958s passed
testHeurDecl() 0.884s passed
testPredicateDecl() 0.956s passed
testProxySortDecl() 1.029s passed
testSVDecl() 0.874s passed
testSortDecl() 0.885s passed

Standard output

224610     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
224611     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
225612     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
225612     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
226500     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
226501     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
227447     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
227448     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
228406     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
228406     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
229291     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
229292     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
230321     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
230322     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
231278     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
231278     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
232166     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
232167     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
233094     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
233097     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
234055     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
234056     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
234930     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
234930     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms