![[Jenkins]](/chess/static/0eeba0c4/images/svgs/logo.svg){kind=logo}
Test Result : TestVandVOperationsOSLC
0 failures
(±0)
, 7 skipped
(±0)
7 tests
(±0)
All Tests
| Test name | Duration | Status |
|---|---|---|
| testCheckCompositeContractImplementation | 0 ms | Skipped |
| testCheckContractImplementation | 0 ms | Skipped |
| testCheckContractRefinement | 0 ms | Skipped |
| testCheckContractRefinementOnInstantiateArch | 0 ms | Skipped |
| testCheckValidationOnProperties | 0 ms | Skipped |
| testModelChecking | 0 ms | Skipped |
| testModelCheckingOnSystemComponent | 0 ms | Skipped |