RecordFlux
RecordFlux copied to clipboard
Conflicts with existing generated files
Using the same target directory for code generation for different specifications (or variants of a specification without clean up between two consecutive runs) can lead to conflicts, which just get visible during compilation. We should consider showing a warning or even abort when there are already files in the target directory.