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

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

tests
0

failures
1

ignored
0.031s

duration
100%

successful

Classes

Class Tests Failures Ignored Duration Success rate
TestProgramMetaConstructs 7 0 1 0.031s 100%