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.