Test Result : TestVAndVOperations
0 failures
(±0)
, 14 skipped
(±0)
14 tests
(±0)
All Tests
Test name | Duration | Status |
---|---|---|
testCheckCompositeContractImplementation | 0 ms | Skipped |
testCheckCompositeContractImplementation | 0 ms | Skipped |
testCheckContractImplementation | 0 ms | Skipped |
testCheckContractImplementation | 0 ms | Skipped |
testCheckContractRefinement | 0 ms | Skipped |
testCheckContractRefinement | 0 ms | Skipped |
testCheckContractRefinementOnInstantiateArch | 0 ms | Skipped |
testCheckContractRefinementOnInstantiateArch | 0 ms | Skipped |
testCheckValidationOnProperties | 0 ms | Skipped |
testCheckValidationOnProperties | 0 ms | Skipped |
testModelChecking | 0 ms | Skipped |
testModelChecking | 0 ms | Skipped |
testModelCheckingOnSystemComponent | 0 ms | Skipped |
testModelCheckingOnSystemComponent | 0 ms | Skipped |