TestDeclParser

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

tests
0

failures
2

ignored
10.823s

duration
100%

successful

Tests

Test Duration Result
testAmbiguousDecls() - ignored
testArrayDecl() 0.905s passed
testFunctionDecl() 0.927s passed
testGenericSortDecl1() 1.029s passed
testGenericSortDecl2() 0.909s passed
testGenericSortDecl3() 0.903s passed
testGenericSortDecl4() 0.893s passed
testGenericSortDecl5() - ignored
testGenericSortDecl6() 0.837s passed
testHeurDecl() 0.833s passed
testPredicateDecl() 0.888s passed
testProxySortDecl() 0.891s passed
testSVDecl() 0.890s passed
testSortDecl() 0.918s passed

Standard output

247903     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
247903     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
248817     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
248817     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
249728     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
249728     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
250622     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
250622     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
251467     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
251467     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
252371     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
252371     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
253259     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
253259     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
254173     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
254173     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
255002     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
255002     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
255912     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
255912     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
256815     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
256815     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
257702     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
257702     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms