In the following is listed the major requirements for completing the integration of vdm2c into TASTE (this will be updated along the development). - [ ] Generation of the support code for invariants introduced in the type declarations. - [ ] Generation of the support for union type (information also provided in issue #20 ). - [x] Generation of the support for record type.
In the following is listed the major requirements for completing the integration of vdm2c into TASTE (this will be updated along the development).