Package de.uka.ilkd.key.rule

56

tests

0

failures

0

ignored

6.604s

duration

100%

successful

Classes

Class Tests Failures Ignored Duration Success rate
TestApplyTaclet 29 0 0 2.719s 100%
TestCollisionResolving 7 0 0 0.041s 100%
TestMatchTaclet 16 0 0 2.899s 100%
TestSchemaModalOperators 4 0 0 0.945s 100%