From da494f32a9817b73c54cc66c82762b608626551f Mon Sep 17 00:00:00 2001 From: Remy Willems Date: Fri, 10 Jan 2025 16:46:38 +0100 Subject: [PATCH 1/2] Delete test for legacy CLI that tests broken behavior --- .../TestFiles/LitTests/LitTest/git-issues/git-issue-3549a.dfy | 2 -- .../LitTests/LitTest/git-issues/git-issue-3549a.dfy.expect | 1 - 2 files changed, 3 deletions(-) delete mode 100644 Source/IntegrationTests/TestFiles/LitTests/LitTest/git-issues/git-issue-3549a.dfy delete mode 100644 Source/IntegrationTests/TestFiles/LitTests/LitTest/git-issues/git-issue-3549a.dfy.expect diff --git a/Source/IntegrationTests/TestFiles/LitTests/LitTest/git-issues/git-issue-3549a.dfy b/Source/IntegrationTests/TestFiles/LitTests/LitTest/git-issues/git-issue-3549a.dfy deleted file mode 100644 index 9ce07b0f267..00000000000 --- a/Source/IntegrationTests/TestFiles/LitTests/LitTest/git-issues/git-issue-3549a.dfy +++ /dev/null @@ -1,2 +0,0 @@ -// RUN: %exits-with 1 %baredafny "" 2> "%t" -// RUN: %diff "%s.expect" "%t" diff --git a/Source/IntegrationTests/TestFiles/LitTests/LitTest/git-issues/git-issue-3549a.dfy.expect b/Source/IntegrationTests/TestFiles/LitTests/LitTest/git-issues/git-issue-3549a.dfy.expect deleted file mode 100644 index 3ccac32363e..00000000000 --- a/Source/IntegrationTests/TestFiles/LitTests/LitTest/git-issues/git-issue-3549a.dfy.expect +++ /dev/null @@ -1 +0,0 @@ -Invalid filename: The value cannot be an empty string. (Parameter 'path') From 5dbaa3f797468ecc2a931fa98e4389d0bc8c5fae Mon Sep 17 00:00:00 2001 From: Olivier Bouissou Date: Fri, 10 Jan 2025 14:47:25 -0500 Subject: [PATCH 2/2] Emtpy commit to trigger CI again