TestDeclParser

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

tests
0

failures
2

ignored
12.220s

duration
100%

successful

Tests

Test Duration Result
testAmbiguousDecls() - ignored
testArrayDecl() 1.052s passed
testFunctionDecl() 0.975s passed
testGenericSortDecl1() 1.094s passed
testGenericSortDecl2() 0.927s passed
testGenericSortDecl3() 0.991s passed
testGenericSortDecl4() 1.018s passed
testGenericSortDecl5() - ignored
testGenericSortDecl6() 1.029s passed
testHeurDecl() 1.049s passed
testPredicateDecl() 1.077s passed
testProxySortDecl() 0.971s passed
testSVDecl() 1.076s passed
testSortDecl() 0.961s passed

Standard output

233474     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
233476     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
234403     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
234404     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
235395     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
235395     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
236414     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
236414     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
237444     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
237444     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
238405     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
238406     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
239376     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
239377     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
240429     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
240429     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
241479     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
241479     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
242456     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
242456     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
243533     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
243533     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
244608     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
244608     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms