TestDeclParser

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

tests
0

failures
2

ignored
13.350s

duration
100%

successful

Tests

Test Duration Result
testAmbiguousDecls() - ignored
testArrayDecl() 1.296s passed
testFunctionDecl() 1.109s passed
testGenericSortDecl1() 1.145s passed
testGenericSortDecl2() 1.070s passed
testGenericSortDecl3() 1.109s passed
testGenericSortDecl4() 1.113s passed
testGenericSortDecl5() - ignored
testGenericSortDecl6() 1.102s passed
testHeurDecl() 1.097s passed
testPredicateDecl() 1.094s passed
testProxySortDecl() 1.033s passed
testSVDecl() 1.081s passed
testSortDecl() 1.100s passed

Standard output

253043     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
253043     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
254112     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
254113     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
255222     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
255222     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
256334     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
256335     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
257436     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
257436     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
258537     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
258537     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
259571     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
259571     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
260866     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
260867     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
261965     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
261966     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
263076     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
263077     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
264163     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
264165     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
265252     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
265252     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms