TestDeclParser

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

tests
0

failures
2

ignored
9.043s

duration
100%

successful

Tests

Test Duration Result
testAmbiguousDecls() - ignored
testArrayDecl() 0.766s passed
testFunctionDecl() 0.724s passed
testGenericSortDecl1() 0.753s passed
testGenericSortDecl2() 0.772s passed
testGenericSortDecl3() 0.778s passed
testGenericSortDecl4() 0.724s passed
testGenericSortDecl5() - ignored
testGenericSortDecl6() 0.767s passed
testHeurDecl() 0.780s passed
testPredicateDecl() 0.765s passed
testProxySortDecl() 0.725s passed
testSVDecl() 0.727s passed
testSortDecl() 0.762s passed

Standard output

172537     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
172537     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
173310     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
173310     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
174088     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
174088     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
174811     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
174812     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
175579     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
175579     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
176341     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
176342     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
177066     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
177067     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
177830     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
177830     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
178615     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
178615     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
179339     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
179339     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
180104     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
180105     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
180831     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
180831     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms