The CPU-time code generation currently puts the generated files in /tmp. It would be cleaner to put them in a separate directory, e.g., simulations/generated_code. We don't necessarily need to put the generated code in git but the directory should probably exist in git.
The CPU-time code generation currently puts the generated files in
/tmp
. It would be cleaner to put them in a separate directory, e.g.,simulations/generated_code
. We don't necessarily need to put the generated code in git but the directory should probably exist in git.