Open
Description
When a check file is generated on a Windows platform, it will mismatch the eventual check done on a Linux machine (like the CI process):
- The Windows check file ends lines with CRLF whereas the Linux ends with just LF (workaround is to manually run dos2unix on the check file).
- The Windows check file uses backslash for paths instead of forward slash (e.g.
\neg\
instead of/neg/
).
The check file generation should be more explicit when generating the outputs and ignore the underlying platform it runs on.