Terms interning cache cleanup. Attempt to avoid huge memory consumption.

PySymGym · Jul 20, 2023 · 6105ca4 · 6105ca4
1 parent 9f2da54
commit 6105ca4
Showing 1 changed file with 1 addition and 0 deletions.
diff --git 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}"