mirror of
https://github.com/GaloisInc/cryptol.git
synced 2024-12-25 08:54:31 +03:00
Disabe the utf-8-ident test in a different way
If you use a `.fails` file, then the test suite fails if that test succeeds, which it does on most platforms.
This commit is contained in:
parent
bfe457f9ab
commit
2885d469da
@ -1 +0,0 @@
|
||||
This fails on Windows and there's no obvious way to fix it.
|
Loading…
Reference in New Issue
Block a user