Package de.uka.ilkd.key.parser

134

tests

130

failures

3

ignored

32.650s

duration

0%

successful

Failed tests

Classes

Class Tests Failures Ignored Duration Success rate
TestDeclParser 14 12 2 9.117s 0%
TestIntLiteralParsing 5 5 0 0.012s 0%
TestJMLParserAssociativity 1 1 0 0s 0%
TestParallelParsing 1 1 0 4.110s 0%
TestParser 5 3 1 4.080s 25%
TestTacletParser 20 20 0 15.274s 0%
TestTermParser 47 47 0 0.040s 0%
TestTermParserHeap 39 39 0 0.017s 0%
TestTermParserSorts 2 2 0 0s 0%