Merge branch 'main' into generic-edge-cases

This commit is contained in:
Smaug123
2025-08-24 20:27:39 +01:00
14 changed files with 257 additions and 344 deletions

View File

@@ -170,6 +170,11 @@ module TestPureCases =
ExpectedReturnCode = 0
NativeImpls = MockEnv.make ()
}
{
FileName = "Initobj.cs"
ExpectedReturnCode = 0
NativeImpls = MockEnv.make ()
}
]
let runTest (case : EndToEndTestCase) : unit =