Status:

Usage guidelines

• Download and install stack.
• Clone this repository (git clone https://github.com/fmidue/haskell-template-parametrization.git).
• Build it from within the cloned directory with stack build.
• Also run stack install QuickCheck there.
• Use stack exec generate-tasks "path-to-folder" to translate tasks.

The folder to be translated should have the following contents:

• defaults.hs, file with the default vars
• /tasks, folder with all tasks
• /solutions, folder with all solutions

The solutions should have the same name as the tasks they are belonging to.

As output, two folders output/tasks and output/solutions will be created that contain the materializations of what was provided as input.

For a (German) description of the system, also see the ABP'23 paper.