TestDeclParser

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

tests
0

failures
2

ignored
12.104s

duration
100%

successful

Tests

Test Duration Result
testAmbiguousDecls() - ignored
testArrayDecl() 1.019s passed
testFunctionDecl() 0.987s passed
testGenericSortDecl1() 1.006s passed
testGenericSortDecl2() 1.043s passed
testGenericSortDecl3() 1.051s passed
testGenericSortDecl4() 0.974s passed
testGenericSortDecl5() - ignored
testGenericSortDecl6() 1.022s passed
testHeurDecl() 1.034s passed
testPredicateDecl() 1.027s passed
testProxySortDecl() 0.951s passed
testSVDecl() 0.960s passed
testSortDecl() 1.030s passed

Standard output

237080     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 16 ms 
237080     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
238112     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
238112     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
239160     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
239160     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
240145     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
240145     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
241161     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
241161     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
242193     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
242193     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
243146     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
243146     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
244163     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
244163     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
245194     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
245194     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
246194     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
246194     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
247211     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
247211     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
248181     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
248181     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms