Closed marionebl closed 5 years ago
templates/pure-script
test_gen/bin_debug
templates/ocaml/*
templates/*
templates
problem-specifications
-c
test_gen
templates/pure-script
test_gen/bin_debug
templates/ocaml/*
totemplates/*
templates
to top levelproblem-specifications
as git submodule-c
flag to control the cwdtest_gen
assumes