TestEqualsModProofIrrelevancy
all
>
de.uka.ilkd.key.util
> TestEqualsModProofIrrelevancy
1
tests
0
failures
0
ignored
7.692s
duration
100%
successful
Tests
Tests
Test
Duration
Result
testJavaProof()
7.692s
passed