Reset id counter.

Author: Anya497

VSharp.IL/Serializer.fs

@@ -348,13 +348,14 @@ let collectStatesInfoToDump (basicBlocks: ResizeArray<BasicBlock>) =
 
     statesInfoToDump
 
-let getFirstFreePathConditionVertexId =
+let getFirstFreePathConditionVertexId, resetPathConditionVertexIdCounter =
     let mutable count = 0u<pathConditionVertexId>
 
     fun () ->
         let res = count
         count <- count + 1u<pathConditionVertexId>
         res
+    , fun () -> count <- 0u<pathConditionVertexId>
 
 let pathConditionVertices = Dictionary<Core.term, PathConditionVertex>()
 

VSharp.ML.GameServer.Runner/Main.fs

@@ -208,6 +208,7 @@ let ws port outputDirectory (webSocket: WebSocket) (context: HttpContext) =
                     API.Reset()
                     HashMap.hashMap.Clear()
                     Serializer.pathConditionVertices.Clear()
+                    Serializer.resetPathConditionVertexIdCounter ()
 
                     do!
                         sendResponse (