Package de.uka.ilkd.key.proof.replay

1

tests

0

failures

0

ignored

11.788s

duration

100%

successful

Classes

Class Tests Failures Ignored Duration Success rate
TestCopyingReplayer 1 0 0 11.788s 100%