TestDeclParser

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

tests
0

failures
2

ignored
10.528s

duration
100%

successful

Tests

Test Duration Result
testAmbiguousDecls() - ignored
testArrayDecl() 0.861s passed
testFunctionDecl() 0.964s passed
testGenericSortDecl1() 0.929s passed
testGenericSortDecl2() 0.855s passed
testGenericSortDecl3() 0.802s passed
testGenericSortDecl4() 0.842s passed
testGenericSortDecl5() - ignored
testGenericSortDecl6() 0.851s passed
testHeurDecl() 0.944s passed
testPredicateDecl() 0.928s passed
testProxySortDecl() 0.830s passed
testSVDecl() 0.860s passed
testSortDecl() 0.862s passed

Standard output

205480     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
205480     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
206342     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
206342     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
207146     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
207146     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
207994     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
207994     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
208831     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
208847     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
209696     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
209696     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
210533     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
210533     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
211392     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
211392     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
212338     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
212338     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
213291     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
213291     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
214231     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
214231     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
215091     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
215091     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms