FailedChanges

Summary

  1. updated tool wrapper (commit: 0d16ffe) (details)
The file was removedcascading-watertankcontroller-overture/sources/modelDescription.xml
The file was addedcascading-watertank2-20sim/#modelDescription.xml#
The file was removedwatertankcontroller-overture/sources/IO.vdmrt
The file was removedcascading-watertankcontroller-overture/sources/UpperLevelSensor.vdmrt
The file was removedwatertankcontroller-overture/sources/modelDescription.xml
The file was addedcascading-watertankcontroller-overture/resources/model/System.vdmrt
The file was addedwatertankcontroller-overture/resources/model/World.vdmrt
The file was removedcascading-watertankcontroller-overture/sources/System.vdmrt
The file was removedwatertankcontroller-overture/sources/Controller.vdmrt
The file was removedwatertankcontroller-overture/sources/vdm.link
The file was removedwatertankcontroller-overture/sources/World.vdmrt
The file was removedcascading-watertankcontroller-overture/sources/contract.csc
The file was addedwatertank-c/resources/config.txt
The file was addedcascading-watertankcontroller-overture/resources/model/UpperLevelSensor.vdmrt
The file was addedcascading-watertankcontroller-overture/resources/model/World.vdmrt
The file was addedwatertankcontroller-overture/resources/model/IO.vdmrt
The file was removedwatertankcontroller-overture/sources/ValveActuator.vdmrt
The file was addedwatertankcontroller-overture/resources/model/vdm.link
The file was removedcascading-watertankcontroller-overture/sources/Controller.vdmrt
The file was addedcascading-watertankcontroller-overture/resources/model/UpperValveActuator.vdmrt
The file was addedcascading-watertankcontroller-overture/resources/model/LowerValveActuator.vdmrt
The file was addedwatertankcontroller-overture/resources/model/System.vdmrt
The file was removedcascading-watertankcontroller-overture/sources/UpperValveActuator.vdmrt
The file was removedwatertankcontroller-overture/sources/LevelSensor.vdmrt
The file was removedwatertankcontroller-overture/sources/contract.csc
The file was removedwatertankcontroller-overture/sources/System.vdmrt
The file was addedcascading-watertankcontroller-overture/resources/model/Controller.vdmrt
The file was addedwatertankcontroller-overture/resources/model/ValveActuator.vdmrt
The file was addedwatertankcontroller-overture/resources/model/LevelSensor.vdmrt
The file was removedcascading-watertankcontroller-overture/sources/vdm.link
The file was removedcascading-watertankcontroller-overture/sources/World.vdmrt
The file was modifiedxcompile.sh (diff)
The file was removedcascading-watertankcontroller-overture/sources/LowerValveActuator.vdmrt
The file was addedwatertankcontroller-overture/resources/model/Controller.vdmrt
The file was removedcascading-watertankcontroller-overture/sources/LowerLevelSensor.vdmrt
The file was addedcascading-watertankcontroller-overture/resources/model/LowerLevelSensor.vdmrt