SuccessChanges

Summary

  1. updated vdm model to match model description types (commit: d59a88e) (details)
Commit d59a88e9727aeaffb91928b7cec22ff1bc50e196 by Kenneth Lausdahl
updated vdm model to match model description types
(commit: d59a88e)
The file was modifiedcascading-watertankcontroller-overture/sources/LowerValveActuator.vdmrt (diff)
The file was modifiedcascading-watertankcontroller-overture/sources/UpperValveActuator.vdmrt (diff)