TestDeclParser

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

tests
0

failures
2

ignored
12.502s

duration
100%

successful

Tests

Test Duration Result
testAmbiguousDecls() - ignored
testArrayDecl() 1.092s passed
testFunctionDecl() 1.053s passed
testGenericSortDecl1() 0.995s passed
testGenericSortDecl2() 1.090s passed
testGenericSortDecl3() 1.084s passed
testGenericSortDecl4() 1.061s passed
testGenericSortDecl5() - ignored
testGenericSortDecl6() 1.007s passed
testHeurDecl() 0.990s passed
testPredicateDecl() 1.047s passed
testProxySortDecl() 1.046s passed
testSVDecl() 0.982s passed
testSortDecl() 1.055s passed

Standard output

235474     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
235475     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
236566     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
236567     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
237650     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
237651     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
238712     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
238713     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
239720     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
239721     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
240775     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
240776     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
241821     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
241822     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
242906     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
242913     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
243905     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
243905     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
244958     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
244958     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
246006     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
246006     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
246988     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
246989     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms