diff --git a/VSharp.ML.GameServer.Runner/Main.fs b/VSharp.ML.GameServer.Runner/Main.fs index 75d86b43f..5d237ea6e 100644 --- a/VSharp.ML.GameServer.Runner/Main.fs +++ b/VSharp.ML.GameServer.Runner/Main.fs @@ -127,6 +127,7 @@ let ws checkActualCoverage outputDirectory (webSocket : WebSocket) (context: Htt Application.reset() API.Reset() + HashMap.hashMap.Free() do! sendResponse (GameOver (actualCoverage, testsCount, errorsCount)) | x -> failwithf $"Unexpected message: %A{x}"