Skip to content
[Jenkins]Jenkins
log in

Test Result : CrossResourceContainmentTest

0 failures (±0)
12 tests (±0)
Took 30 ms.

All Tests

Test nameDurationStatus
crossContTest_1[With DanglingFreeAssumption: false]2 msPassed
crossContTest_1[With DanglingFreeAssumption: true]9 msPassed
crossContTest_1[With DanglingFreeAssumption: unset]1 msPassed
crossContTest_2[With DanglingFreeAssumption: false]2 msPassed
crossContTest_2[With DanglingFreeAssumption: true]5 msPassed
crossContTest_2[With DanglingFreeAssumption: unset]1 msPassed
crossContTest_3[With DanglingFreeAssumption: false]2 msPassed
crossContTest_3[With DanglingFreeAssumption: true]2 msPassed
crossContTest_3[With DanglingFreeAssumption: unset]1 msPassed
crossContTest_4[With DanglingFreeAssumption: false]2 msPassed
crossContTest_4[With DanglingFreeAssumption: true]1 msPassed
crossContTest_4[With DanglingFreeAssumption: unset]2 msPassed