TestDeclParser

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

tests
0

failures
2

ignored
11.640s

duration
100%

successful

Tests

Test Duration Result
testAmbiguousDecls() - ignored
testArrayDecl() 1.639s passed
testFunctionDecl() 0.831s passed
testGenericSortDecl1() 1.164s passed
testGenericSortDecl2() 0.823s passed
testGenericSortDecl3() 0.881s passed
testGenericSortDecl4() 0.880s passed
testGenericSortDecl5() - ignored
testGenericSortDecl6() 0.822s passed
testHeurDecl() 0.862s passed
testPredicateDecl() 0.860s passed
testProxySortDecl() 1.134s passed
testSVDecl() 0.871s passed
testSortDecl() 0.872s passed

Standard output

215953     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
215953     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
216782     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
216782     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
217658     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
217658     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
218549     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
218549     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
219377     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
219377     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
220252     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
220252     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
221379     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
221379     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
223037     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
223037     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
223912     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
223912     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
224740     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
224740     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
225600     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
225600     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
226475     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
226475     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms