unsupported

dafny-lang · Feb 26, 2025 · fb24488 · fb24488
1 parent 25285f9
commit fb24488
Show file tree

Hide file tree

Showing 3 changed files with 3 additions and 0 deletions.
diff --git a/...e/IntegrationTests/TestFiles/LitTests/LitTest/comp/rust/small/07-instantiated-methods.dfy b/...e/IntegrationTests/TestFiles/LitTests/LitTest/comp/rust/small/07-instantiated-methods.dfy
@@ -1,6 +1,7 @@
 // NONUNIFORM: Rust-specific tests
 // RUN: %baredafny run --target=rs --enforce-determinism --type-system-refresh --general-traits=full "%s" > "%t"
 // RUN: %diff "%s.expect" "%t"
+// UNSUPPORTED: windows
 
 trait Super<T> {
   function Compare(a: T, b: T, c: bool): bool

diff --git a/...onTests/TestFiles/LitTests/LitTest/comp/rust/small/08-not-all-trait-items-implemented.dfy b/...onTests/TestFiles/LitTests/LitTest/comp/rust/small/08-not-all-trait-items-implemented.dfy
@@ -1,6 +1,7 @@
 // NONUNIFORM: Rust-specific tests
 // RUN: %baredafny run --target=rs --enforce-determinism --type-system-refresh --general-traits=full "%s" > "%t"
 // RUN: %diff "%s.expect" "%t"
+// UNSUPPORTED: windows
 
 trait Reversible {
   function reverse():(r:Reversible)

diff --git a/...ntegrationTests/TestFiles/LitTests/LitTest/comp/rust/small/10-type-parameter-equality.dfy b/...ntegrationTests/TestFiles/LitTests/LitTest/comp/rust/small/10-type-parameter-equality.dfy
@@ -1,6 +1,7 @@
 // NONUNIFORM: Rust-specific tests
 // RUN: %baredafny run --target=rs --enforce-determinism --type-system-refresh --general-traits=full "%s" > "%t"
 // RUN: %diff "%s.expect" "%t"
+// UNSUPPORTED: windows
 
 datatype I_<T, U> = I_(t: T, u: U)