Skip to content

Test Result : TestVAndVOperations

0 failures (±0) , 14 skipped (±0)
14 tests (±0)
Took 0 ms.

All Tests

Test nameDurationStatus
testCheckCompositeContractImplementation0 msSkipped
testCheckCompositeContractImplementation0 msSkipped
testCheckContractImplementation0 msSkipped
testCheckContractImplementation0 msSkipped
testCheckContractRefinement0 msSkipped
testCheckContractRefinement0 msSkipped
testCheckContractRefinementOnInstantiateArch0 msSkipped
testCheckContractRefinementOnInstantiateArch0 msSkipped
testCheckValidationOnProperties0 msSkipped
testCheckValidationOnProperties0 msSkipped
testModelChecking0 msSkipped
testModelChecking0 msSkipped
testModelCheckingOnSystemComponent0 msSkipped
testModelCheckingOnSystemComponent0 msSkipped