[Jenkins]Jenkins

SuccessChanges

Summary

  1. Add paper example tests (commit: 6183022) (details)
  2. Add AlarmPP example sources for testing (commit: d9db3eb) (details)
  3. Add CashDispenserPP model for future testing (commit: a9853d8) (details)
The file was addedcore/vdm2c/src/test/java/org/overture/codegen/vdm2c/PaperExampleTests.java
The file was addedcore/vdm2c/src/test/resources/vdmrt/paper-examples/alarm/alarm.vdmpp
The file was addedcore/vdm2c/src/test/resources/vdmrt/paper-examples/alarm/expert.vdmpp
The file was addedcore/vdm2c/src/test/resources/vdmrt/paper-examples/alarm/test1.vdmpp
The file was addedcore/vdm2c/src/test/resources/vdmrt/paper-examples/alarm/plant.vdmpp
Commit a9853d839c0f3b4ccc65bb94a81f3b1f5728ffe3 by Peter W. V. Tran-Jørgensen
Add CashDispenserPP model for future testing
 (commit: a9853d8)
The file was addedcore/vdm2c/src/test/resources/vdmrt/paper-examples/cash-dispenser/test/GetBalance.vdmpp
The file was addedcore/vdm2c/src/test/resources/vdmrt/paper-examples/cash-dispenser/CardHolder.vdmpp
The file was addedcore/vdm2c/src/test/resources/vdmrt/paper-examples/cash-dispenser/test/IllegalCard.vdmpp
The file was addedcore/vdm2c/src/test/resources/vdmrt/paper-examples/cash-dispenser/test/Withdrawal.vdmpp
The file was addedcore/vdm2c/src/test/resources/vdmrt/paper-examples/cash-dispenser/Letter.vdmpp
The file was addedcore/vdm2c/src/test/resources/vdmrt/paper-examples/cash-dispenser/CentralResource.vdmpp
The file was addedcore/vdm2c/src/test/resources/vdmrt/paper-examples/cash-dispenser/Till.vdmpp
The file was addedcore/vdm2c/src/test/resources/vdmrt/paper-examples/cash-dispenser/Card.vdmpp
The file was addedcore/vdm2c/src/test/resources/vdmrt/paper-examples/cash-dispenser/test/InsertCard.vdmpp
The file was addedcore/vdm2c/src/test/resources/vdmrt/paper-examples/cash-dispenser/SimpleTest.vdmpp
The file was addedcore/vdm2c/src/test/resources/vdmrt/paper-examples/cash-dispenser/test/SendStatement.vdmpp
The file was addedcore/vdm2c/src/test/resources/vdmrt/paper-examples/cash-dispenser/test/Validate.vdmpp
The file was addedcore/vdm2c/src/test/resources/vdmrt/paper-examples/cash-dispenser/Letterbox.vdmpp
The file was addedcore/vdm2c/src/test/resources/vdmrt/paper-examples/cash-dispenser/test/ReturnCard.vdmpp
The file was addedcore/vdm2c/src/test/resources/vdmrt/paper-examples/cash-dispenser/test/System.vdmpp
The file was addedcore/vdm2c/src/test/resources/vdmrt/paper-examples/cash-dispenser/test/Test.vdmpp
The file was addedcore/vdm2c/src/test/resources/vdmrt/paper-examples/cash-dispenser/Account.vdmpp
The file was addedcore/vdm2c/src/test/resources/vdmrt/paper-examples/cash-dispenser/Clock.vdmpp
The file was addedcore/vdm2c/src/test/resources/vdmrt/paper-examples/cash-dispenser/test/Event.vdmpp