TestDeclParser

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

tests
0

failures
2

ignored
12.655s

duration
100%

successful

Tests

Test Duration Result
testAmbiguousDecls() - ignored
testArrayDecl() 1.073s passed
testFunctionDecl() 1.057s passed
testGenericSortDecl1() 1.090s passed
testGenericSortDecl2() 1.059s passed
testGenericSortDecl3() 1.082s passed
testGenericSortDecl4() 1.005s passed
testGenericSortDecl5() - ignored
testGenericSortDecl6() 1.066s passed
testHeurDecl() 1.003s passed
testPredicateDecl() 1.053s passed
testProxySortDecl() 1.058s passed
testSVDecl() 1.053s passed
testSortDecl() 1.056s passed

Standard output

237313     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
237313     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
238373     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
238373     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
239454     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
239455     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
240459     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
240460     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
241523     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
241527     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 3 ms 
242582     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
242583     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
243640     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
243641     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
244714     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
244714     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
245718     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
245719     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
246776     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
246776     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
247830     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
247830     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
248881     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
248881     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms