RAMSES Test Suite Refactoring
We would like to be able to launch the various steps of the RAMSES tests suite (e.g.: refinement, analysis, code generation, etc.) independently and for the two different contexts (IDE and command line interface).
We would like to be able to launch the various steps of the RAMSES tests suite (e.g.: refinement, analysis, code generation, etc.) independently and for the two different contexts (IDE and command line interface).