Filepath printing results in golden test failures #764
Labels
maybe-fixed
Might be resolved, but this needs to be confirmed.
test-framework
For issues related to Cryptol's test framework.
In the introduction of #756, we added a golden test that validates that cryptol sends the right error message when attempting to include malformed utf8. The error message includes a path, which is os dependent, so on posix file systems the golden test works, but on windows it fails with
(note unix vs win style path printing)
We have a few potential solutions for this, all with various trade-offs. It's worth noting that our golden test-runner currently doesn't have any facilities for os-specific tests or environmentally-aware contextual execution of files.
The text was updated successfully, but these errors were encountered: