Package de.uka.ilkd.key.parser

196

tests

0

failures

7

ignored

1m49.62s

duration

100%

successful

Classes

Class Tests Failures Ignored Duration Success rate
TestDeclParser 14 0 2 20.515s 100%
TestIntLiteralParsing 67 0 0 0.100s 100%
TestJMLParserAssociativity 1 0 0 55.270s 100%
TestParallelParsing 1 0 0 23.617s 100%
TestParser 5 0 1 9.367s 100%
TestTacletParser 20 0 0 0.106s 100%
TestTermParser 47 0 4 0.314s 100%
TestTermParserHeap 39 0 0 0.309s 100%
TestTermParserSorts 2 0 0 0.021s 100%