From 8b332bd5822a52471d1ea5dbc954ee9d70d43ccf Mon Sep 17 00:00:00 2001 From: Mikael Mayer Date: Wed, 3 Apr 2024 10:21:28 -0500 Subject: [PATCH] Chore: Move tests in the correct directory #4181 added two tests but in the wrong directory. This PR fixes it. --- .../TestFiles/LitTests/LitTest}/git-issues/git-issue-4181.dfy | 0 .../LitTests/LitTest}/git-issues/git-issue-4181.dfy.expect | 0 2 files changed, 0 insertions(+), 0 deletions(-) rename {Test => Source/IntegrationTests/TestFiles/LitTests/LitTest}/git-issues/git-issue-4181.dfy (100%) rename {Test => Source/IntegrationTests/TestFiles/LitTests/LitTest}/git-issues/git-issue-4181.dfy.expect (100%) diff --git a/Test/git-issues/git-issue-4181.dfy b/Source/IntegrationTests/TestFiles/LitTests/LitTest/git-issues/git-issue-4181.dfy similarity index 100% rename from Test/git-issues/git-issue-4181.dfy rename to Source/IntegrationTests/TestFiles/LitTests/LitTest/git-issues/git-issue-4181.dfy diff --git a/Test/git-issues/git-issue-4181.dfy.expect b/Source/IntegrationTests/TestFiles/LitTests/LitTest/git-issues/git-issue-4181.dfy.expect similarity index 100% rename from Test/git-issues/git-issue-4181.dfy.expect rename to Source/IntegrationTests/TestFiles/LitTests/LitTest/git-issues/git-issue-4181.dfy.expect