Changes
Summary
- Distributed code-generator fix (details)
![]() | core/vdm2c/src/main/java/org/overture/codegen/vdm2c/distribution/SystemArchitectureAnalysis.java |
![]() | core/vdm2c/src/main/java/org/overture/codegen/vdm2c/distribution/SystemArchitectureAnalysis.java |