Test Result : SlJavaGenTest

0 failures
22 tests
Took 49 sec.

All Tests

Test nameDurationStatus
test[ExtendedExplicitOpCallPostCond.vdmsl]21 secPassed
test[FieldOrder.vdmsl]1.4 secPassed
test[IdNormalising.vdmsl]1.2 secPassed
test[ImplicitOperation.vdmsl]1.4 secPassed
test[InvariantWithLet.vdmsl]1.3 secPassed
test[ModifyStateExplicit.vdmsl]1.2 secPassed
test[ModifyStateImplicit.vdmsl]1.2 secPassed
test[ModifyStateRecFieldExplicit.vdmsl]1.1 secPassed
test[ModifyStateRecFieldImplicit.vdmsl]1.2 secPassed
test[ModifyUninitialisedState.vdmsl]1.2 secPassed
test[ModuleNameSameAsStateName.vdmsl]1 secPassed
test[NormaliseAccessedStateField.vdmsl]1.1 secPassed
test[ReadStateExplicit.vdmsl]1 secPassed
test[ReadStateImplicit.vdmsl]4.2 secPassed
test[ReadStateWithRecFieldImplicit.vdmsl]1.3 secPassed
test[Renaming.vdmsl]1 secPassed
test[SingleModuleSimple.vdmsl]1 secPassed
test[StateFieldModuleValueSameName.vdmsl]1 secPassed
test[UseImportedFuncsAndOps.vdmsl]1.3 secPassed
test[ValueDef.vdmsl]1 secPassed
test[VarShadowingOpFunc.vdmsl]0.97 secPassed
test[VarShadowingState.vdmsl]1.2 secPassed