Skip to content

Change data output directory

Yoshi van den Akker requested to merge data-output into master

Instead of copying the data folder hierarchy, store all data files next to the code files in the output. This allows for executing the generated code directly.

As the open import is stripped by the generator, to be able to run a testsuite locally all data files must be in the same directory (just like how it is on WebLab).

Merge request reports