TestDeclParser

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

tests
0

failures
2

ignored
9.913s

duration
100%

successful

Tests

Test Duration Result
testAmbiguousDecls() - ignored
testArrayDecl() 0.847s passed
testFunctionDecl() 0.839s passed
testGenericSortDecl1() 0.912s passed
testGenericSortDecl2() 0.850s passed
testGenericSortDecl3() 0.792s passed
testGenericSortDecl4() 0.834s passed
testGenericSortDecl5() - ignored
testGenericSortDecl6() 0.831s passed
testHeurDecl() 0.781s passed
testPredicateDecl() 0.837s passed
testProxySortDecl() 0.839s passed
testSVDecl() 0.779s passed
testSortDecl() 0.772s passed

Standard output

184332     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
184333     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
185181     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
185181     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
185976     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
185977     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
186811     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
186811     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
187643     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
187643     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
188415     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
188415     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
189254     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
189254     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
190099     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
190100     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
190881     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
190882     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
191720     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
191721     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
192558     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
192559     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
193337     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
193337     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms