TestCopyingReplayer

1

tests

0

failures

0

ignored

8.487s

duration

100%

successful

Tests

Test Duration Result
testJavaProof() 8.487s passed