TestDeclParser

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

tests
0

failures
2

ignored
9.923s

duration
100%

successful

Tests

Test Duration Result
testAmbiguousDecls() - ignored
testArrayDecl() 0.778s passed
testFunctionDecl() 0.839s passed
testGenericSortDecl1() 0.795s passed
testGenericSortDecl2() 0.877s passed
testGenericSortDecl3() 0.839s passed
testGenericSortDecl4() 0.767s passed
testGenericSortDecl5() - ignored
testGenericSortDecl6() 0.845s passed
testHeurDecl() 0.843s passed
testPredicateDecl() 0.782s passed
testProxySortDecl() 0.841s passed
testSVDecl() 0.855s passed
testSortDecl() 0.862s passed

Standard output

188613     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
188613     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
189491     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
189491     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
190331     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
190331     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
191097     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
191098     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
191943     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
191943     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
192805     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
192805     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
193646     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
193646     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
194423     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
194424     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
195268     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
195269     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
196107     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
196108     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
196890     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
196891     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
197740     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
197741     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms