Several tests don't pass on Windows #1314
Labels
kind: language development speed
Slows down development of Dafny the language, flaky tests
misc: cleanup
Cleanups in the implementation or in corners of the language
platform: windows
Windows-specific issues
Several of the tests are turned off for windows. Grep for
// UNSUPPORTED: windows
to find them.The text was updated successfully, but these errors were encountered: