Default realisation of exahype2.api.Project.mainfile_generator.
construct_output(self, peano_project)
Add this generator's output to peano_project (a peano4.api.Project-compatible object,...
Adapter that speaks the construct_output(output, main_name) protocol peano4.api.Project....
__init__(self, project, exahype_project)
construct_output(self, output, main_name)