Package de.uka.ilkd.key.rule.metaconstruct

all > de.uka.ilkd.key.rule.metaconstruct
7

tests
3

failures
1

ignored
0.024s

duration
50%

successful

Classes

Class Tests Failures Ignored Duration Success rate
TestProgramMetaConstructs 7 3 1 0.024s 50%