Package de.uka.ilkd.key.rule

56

tests

0

failures

0

ignored

5.772s

duration

100%

successful

Classes

Class Tests Failures Ignored Duration Success rate
TestApplyTaclet 29 0 0 2.224s 100%
TestCollisionResolving 7 0 0 0.020s 100%
TestMatchTaclet 16 0 0 2.171s 100%
TestSchemaModalOperators 4 0 0 1.357s 100%