Test Result : SlJavaGenTest

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

All Tests

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