Changes
Summary
- Model code for Collatz example. (commit: 7ce98a9) (details)
- List of generated files for FMU export. (commit: 37bde33) (details)
![]() | core/vdm2c/src/test/resources/vdmrt/classes/ClassScratchWork.vdmrt (diff) |
![]() | core/vdm2c/src/main/java/org/overture/codegen/vdm2c/CGen.java (diff) |