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

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

tests
2

failures
1

ignored
0.245s

duration
66%

successful

Classes

Class Tests Failures Ignored Duration Success rate
TestProgramMetaConstructs 7 2 1 0.245s 66%