Test Result : SlJavaGenTest

0 failures , 22 skipped
22 tests
Took 0 ms.

All Tests

Test nameDurationStatus
test[ExtendedExplicitOpCallPostCond.vdmsl]0 msSkipped
test[FieldOrder.vdmsl]0 msSkipped
test[IdNormalising.vdmsl]0 msSkipped
test[ImplicitOperation.vdmsl]0 msSkipped
test[InvariantWithLet.vdmsl]0 msSkipped
test[ModifyStateExplicit.vdmsl]0 msSkipped
test[ModifyStateImplicit.vdmsl]0 msSkipped
test[ModifyStateRecFieldExplicit.vdmsl]0 msSkipped
test[ModifyStateRecFieldImplicit.vdmsl]0 msSkipped
test[ModifyUninitialisedState.vdmsl]0 msSkipped
test[ModuleNameSameAsStateName.vdmsl]0 msSkipped
test[NormaliseAccessedStateField.vdmsl]0 msSkipped
test[ReadStateExplicit.vdmsl]0 msSkipped
test[ReadStateImplicit.vdmsl]0 msSkipped
test[ReadStateWithRecFieldImplicit.vdmsl]0 msSkipped
test[Renaming.vdmsl]0 msSkipped
test[SingleModuleSimple.vdmsl]0 msSkipped
test[StateFieldModuleValueSameName.vdmsl]0 msSkipped
test[UseImportedFuncsAndOps.vdmsl]0 msSkipped
test[ValueDef.vdmsl]0 msSkipped
test[VarShadowingOpFunc.vdmsl]0 msSkipped
test[VarShadowingState.vdmsl]0 msSkipped