deleted commemts

Gitubrr · Gitubrr · commit c5482cbd0c62 · 2025-12-19T21:52:41.000+03:00
diff --git a/VSharp.IL/Serializer.fs b/VSharp.IL/Serializer.fs
@@ -495,15 +495,6 @@ let collectGameState (basicBlocks: ResizeArray<BasicBlock>) filterStates process
                 for term in pathCondition do
                     pathConditionDelta.AddRange(collectPathCondition term termsWithId processedPathConditionVertices)
 
-                // let pathConditionRoot =
-                //     PathConditionVertex(
-                //         id = getFirstFreePathConditionVertexId (),
-                //         pathConditionVertexType = pathConditionVertexType.PathConditionRoot,
-                //         children = [| for p in pathCondition -> termsWithId.[p] |]
-                //     )
-
-                // pathConditionDelta.Add pathConditionRoot
-
                 let children = [| for p in pathCondition -> termsWithId.[p] |]
 
                 State(
