From e0e954b131527936d1ab79f8641a6f6174d1b00f Mon Sep 17 00:00:00 2001 From: Smaug123 <3138005+Smaug123@users.noreply.github.com> Date: Sun, 10 Aug 2025 22:52:45 +0100 Subject: [PATCH] Remove another spare test --- WoofWare.PawPrint.Test/TestImpureCases.fs | 23 ------------------- .../WoofWare.PawPrint.Test.fsproj | 1 - .../sourcesImpure/ConsoleColor.cs | 13 ----------- .../sourcesImpure/WriteLine.cs | 3 +-- 4 files changed, 1 insertion(+), 39 deletions(-) delete mode 100644 WoofWare.PawPrint.Test/sourcesImpure/ConsoleColor.cs diff --git a/WoofWare.PawPrint.Test/TestImpureCases.fs b/WoofWare.PawPrint.Test/TestImpureCases.fs index 638fbc1..fc6cf1a 100644 --- a/WoofWare.PawPrint.Test/TestImpureCases.fs +++ b/WoofWare.PawPrint.Test/TestImpureCases.fs @@ -18,29 +18,6 @@ module TestImpureCases = ExpectedReturnCode = 1 NativeImpls = NativeImpls.PassThru () } - - { - FileName = "ConsoleColor.cs" - ExpectedReturnCode = 1 - NativeImpls = - let mock = MockEnv.make () - - { mock with - System_Environment = - { System_EnvironmentMock.Empty with - GetProcessorCount = - fun thread state -> - let state = - state |> IlMachineState.pushToEvalStack' (EvalStackValue.Int32 1) thread - - (state, WhatWeDid.Executed) |> ExecutionResult.Stepped - _Exit = - fun thread state -> - let state = state |> IlMachineState.loadArgument thread 0 - ExecutionResult.Terminated (state, thread) - } - } - } ] let cases : TestCase list = diff --git a/WoofWare.PawPrint.Test/WoofWare.PawPrint.Test.fsproj b/WoofWare.PawPrint.Test/WoofWare.PawPrint.Test.fsproj index 4c64d84..bb485bd 100644 --- a/WoofWare.PawPrint.Test/WoofWare.PawPrint.Test.fsproj +++ b/WoofWare.PawPrint.Test/WoofWare.PawPrint.Test.fsproj @@ -45,7 +45,6 @@ - diff --git a/WoofWare.PawPrint.Test/sourcesImpure/ConsoleColor.cs b/WoofWare.PawPrint.Test/sourcesImpure/ConsoleColor.cs deleted file mode 100644 index c453f95..0000000 --- a/WoofWare.PawPrint.Test/sourcesImpure/ConsoleColor.cs +++ /dev/null @@ -1,13 +0,0 @@ -using System; - -namespace HelloWorldApp -{ - class Program - { - static int Main(string[] args) - { - Console.WriteLine("Hello, world!"); - return 1; - } - } -} diff --git a/WoofWare.PawPrint.Test/sourcesImpure/WriteLine.cs b/WoofWare.PawPrint.Test/sourcesImpure/WriteLine.cs index 5907c52..c453f95 100644 --- a/WoofWare.PawPrint.Test/sourcesImpure/WriteLine.cs +++ b/WoofWare.PawPrint.Test/sourcesImpure/WriteLine.cs @@ -6,8 +6,7 @@ namespace HelloWorldApp { static int Main(string[] args) { - var c = Console.BackgroundColor; - var d = Console.ForegroundColor; + Console.WriteLine("Hello, world!"); return 1; } }