Package de.uka.ilkd.key.parser

196

tests

0

failures

7

ignored

1m40.92s

duration

100%

successful

Classes

Class Tests Failures Ignored Duration Success rate
TestDeclParser 14 0 2 18.928s 100%
TestIntLiteralParsing 67 0 0 0.087s 100%
TestJMLParserAssociativity 1 0 0 51.251s 100%
TestParallelParsing 1 0 0 21.727s 100%
TestParser 5 0 1 8.307s 100%
TestTacletParser 20 0 0 0.069s 100%
TestTermParser 47 0 4 0.304s 100%
TestTermParserHeap 39 0 0 0.228s 100%
TestTermParserSorts 2 0 0 0.022s 100%