TestDeclParser

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

tests
0

failures
2

ignored
12.331s

duration
100%

successful

Tests

Test Duration Result
testAmbiguousDecls() - ignored
testArrayDecl() 1.048s passed
testFunctionDecl() 1.058s passed
testGenericSortDecl1() 1.108s passed
testGenericSortDecl2() 1.050s passed
testGenericSortDecl3() 1.060s passed
testGenericSortDecl4() 1.047s passed
testGenericSortDecl5() - ignored
testGenericSortDecl6() 1.020s passed
testHeurDecl() 0.928s passed
testPredicateDecl() 1.026s passed
testProxySortDecl() 0.995s passed
testSVDecl() 0.972s passed
testSortDecl() 1.019s passed

Standard output

239663     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
239663     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
240713     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
240714     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
241775     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
241775     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
242822     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
242823     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
243844     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
243844     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
244863     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
244864     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
245859     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 1 ms 
245859     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
246906     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
246906     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
247835     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
247836     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 1 ms 
248893     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
248894     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
249919     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
249920     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
250891     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
250892     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms