Package de.uka.ilkd.key.rule.tacletbuilder

all > de.uka.ilkd.key.rule.tacletbuilder

5

tests

1

failures

0

ignored

0.406s

duration

80%

successful

Failed tests
Classes

Failed tests

TestTacletBuild. testSchemavariablesInAddrulesRespectPrefix()

Classes

Class	Tests	Failures	Ignored	Duration	Success rate
TestTacletBuild	5	1	0	0.406s	80%