Revert "SKIP tests on Windows"

This reverts commit 69f98d812c.
2026-02-12 13:11:36 -08:00 · 2024-11-22 11:11:03 +09:00
parent 96c0647d20
commit b6f905ef15
5 changed files with 0 additions and 5 deletions
--- a/tests/665__formal_hashed_maps_test/test.opt
+++ b/tests/665__formal_hashed_maps_test/test.opt
@@ -1 +0,0 @@
-NT SKIP ordering diff (#776)
--- a/tests/665__formal_hashed_sets_test/test.opt
+++ b/tests/665__formal_hashed_sets_test/test.opt
@@ -1 +0,0 @@
-NT SKIP ordering diff (#776)
--- a/tests/665__formal_unbounded_hashed_maps_test/test.opt
+++ b/tests/665__formal_unbounded_hashed_maps_test/test.opt
@@ -1 +0,0 @@
-NT SKIP ordering diff (#776)
--- a/tests/665__formal_unbounded_hashed_sets_test/test.opt
+++ b/tests/665__formal_unbounded_hashed_sets_test/test.opt
@@ -1 +0,0 @@
-NT SKIP ordering diff (#776)
--- a/tests/665__formal_vectors_test/test.opt
+++ b/tests/665__formal_vectors_test/test.opt
@@ -1 +0,0 @@
-NT SKIP ordering diff (#776)