patrick/WoofWare.PawPrint
1
0
Fork 0
mirror of https://github.com/Smaug123/WoofWare.PawPrint synced 2025-10-08 07:28:40 +00:00
Code Issues Packages Projects Releases Wiki Activity

Remove another spare test

Browse Source
This commit is contained in:
Smaug123
2025-08-10 22:52:45 +01:00
parent 95f422efa9
commit e0e954b131
4 changed files with 1 additions and 39 deletions
Download Patch File Download Diff File Expand all files Collapse all files

23
WoofWare.PawPrint.Test/TestImpureCases.fs
View File

@@ -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 =

1
WoofWare.PawPrint.Test/WoofWare.PawPrint.Test.fsproj
View File

@@ -45,7 +45,6 @@
</ItemGroup>
<ItemGroup>
<EmbeddedResource Include="sourcesImpure\WriteLine.cs" />
<EmbeddedResource Include="sourcesImpure\ConsoleColor.cs" />
<EmbeddedResource Include="sourcesImpure\InstaQuit.cs" />
</ItemGroup>

13
WoofWare.PawPrint.Test/sourcesImpure/ConsoleColor.cs
View File

@@ -1,13 +0,0 @@
using System;
namespace HelloWorldApp
{
class Program
{
static int Main(string[] args)
{
Console.WriteLine("Hello, world!");
return 1;
}
}
}

3
WoofWare.PawPrint.Test/sourcesImpure/WriteLine.cs
View File

@@ -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;
}
}