From fb2448808a6ef0de4425ffb6c44d96ea0a4aaa5b Mon Sep 17 00:00:00 2001 From: zetzschest Date: Wed, 26 Feb 2025 15:57:57 +0000 Subject: [PATCH] unsupported --- .../LitTests/LitTest/comp/rust/small/07-instantiated-methods.dfy | 1 + .../comp/rust/small/08-not-all-trait-items-implemented.dfy | 1 + .../LitTest/comp/rust/small/10-type-parameter-equality.dfy | 1 + 3 files changed, 3 insertions(+) diff --git a/Source/IntegrationTests/TestFiles/LitTests/LitTest/comp/rust/small/07-instantiated-methods.dfy b/Source/IntegrationTests/TestFiles/LitTests/LitTest/comp/rust/small/07-instantiated-methods.dfy index 50ffe33723..40b4d24bcc 100644 --- a/Source/IntegrationTests/TestFiles/LitTests/LitTest/comp/rust/small/07-instantiated-methods.dfy +++ b/Source/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 { function Compare(a: T, b: T, c: bool): bool diff --git a/Source/IntegrationTests/TestFiles/LitTests/LitTest/comp/rust/small/08-not-all-trait-items-implemented.dfy b/Source/IntegrationTests/TestFiles/LitTests/LitTest/comp/rust/small/08-not-all-trait-items-implemented.dfy index e345b09d51..292f23c050 100644 --- a/Source/IntegrationTests/TestFiles/LitTests/LitTest/comp/rust/small/08-not-all-trait-items-implemented.dfy +++ b/Source/IntegrationTests/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/Source/IntegrationTests/TestFiles/LitTests/LitTest/comp/rust/small/10-type-parameter-equality.dfy b/Source/IntegrationTests/TestFiles/LitTests/LitTest/comp/rust/small/10-type-parameter-equality.dfy index 0c57025a65..666592a44b 100644 --- a/Source/IntegrationTests/TestFiles/LitTests/LitTest/comp/rust/small/10-type-parameter-equality.dfy +++ b/Source/IntegrationTests/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_ = I_(t: T, u: U)