Package de.uka.ilkd.key.nparser

26

tests

1

failures

0

ignored

4.297s

duration

96%

successful

Classes

Class Tests Failures Ignored Duration Success rate
ExprTest 23 0 0 2.843s 100%
ParseLDTsTests 2 0 0 1.452s 100%
TestTacletEquality 1 1 0 0.002s 0%