TestDeclParser

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

tests
0

failures
2

ignored
11.949s

duration
100%

successful

Tests

Test Duration Result
testAmbiguousDecls() - ignored
testArrayDecl() 1.039s passed
testFunctionDecl() 1.020s passed
testGenericSortDecl1() 1.116s passed
testGenericSortDecl2() 0.922s passed
testGenericSortDecl3() 1.007s passed
testGenericSortDecl4() 0.955s passed
testGenericSortDecl5() - ignored
testGenericSortDecl6() 1.034s passed
testHeurDecl() 0.944s passed
testPredicateDecl() 1.010s passed
testProxySortDecl() 0.937s passed
testSVDecl() 0.941s passed
testSortDecl() 1.023s passed

Standard output

226823     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
226823     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
227745     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
227746     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
228753     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
228753     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
229708     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
229708     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
230741     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
230742     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
231763     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
231764     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
232702     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
232703     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
233741     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
233741     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
234691     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
234691     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
235710     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
235711     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
236721     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
236721     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
237660     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
237660     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms