TestDeclParser

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

tests
0

failures
2

ignored
15.527s

duration
100%

successful

Tests

Test Duration Result
testAmbiguousDecls() - ignored
testArrayDecl() 1.273s passed
testFunctionDecl() 1.271s passed
testGenericSortDecl1() 1.595s passed
testGenericSortDecl2() 1.157s passed
testGenericSortDecl3() 1.243s passed
testGenericSortDecl4() 1.289s passed
testGenericSortDecl5() - ignored
testGenericSortDecl6() 1.390s passed
testHeurDecl() 1.274s passed
testPredicateDecl() 1.289s passed
testProxySortDecl() 1.306s passed
testSVDecl() 1.161s passed
testSortDecl() 1.278s passed

Standard output

313861     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
313861     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
315018     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
315018     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
316253     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
316253     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
317551     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
317551     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
318942     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
318942     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
320224     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
320224     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
321538     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
321538     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
322804     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
322804     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
324103     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
324103     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
325370     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
325386     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
326667     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
326667     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms 
327825     INFO  Test worker     d.u.i.k.n.KeyIO           Parsing took 0 ms 
327825     INFO  Test worker     d.u.i.k.n.KeyIO           MODE: declarations took 0 ms