Test Result : DiffTest
0 failures
(±0)
10 tests
(±0)
All Tests
Test name | Duration | Status |
---|---|---|
testConflict | 0 ms | Passed |
testEquivalence | 1 ms | Passed |
testKind | 0 ms | Passed |
testMatch | 0 ms | Passed |
testRefinedBy | 0 ms | Passed |
testRefines | 0 ms | Passed |
testRequiredBy | 0 ms | Passed |
testRequires | 0 ms | Passed |
testSource | 0 ms | Passed |
testState | 0 ms | Passed |