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]11 msPassed
crossContTest_1[With DanglingFreeAssumption: unset]2 msPassed
crossContTest_2[With DanglingFreeAssumption: false]1 msPassed
crossContTest_2[With DanglingFreeAssumption: true]4 msPassed
crossContTest_2[With DanglingFreeAssumption: unset]1 msPassed
crossContTest_3[With DanglingFreeAssumption: false]1 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]2 msPassed
crossContTest_4[With DanglingFreeAssumption: unset]1 msPassed