Minas Charalambides
Minas Charalambides
This was added to prevent differences in error messages depending on whether that file was produced or not. It might not be needed anymore because I think we're chopping that...
To enable consecutive testing of different profiles, test output (`.out`, etc.) files are cleaned every time the tests are run. This is necessary because these files are output into the...
As it stands, we do not know if we do the packaging right.
So as to match https://github.com/kframework/c-semantics/pull/422