returned counters

Author: Gitubrr

VSharp.Explorer/AISearcher.fs

@@ -385,11 +385,15 @@ type internal AISearcher(oracle: Oracle, aiAgentTrainingMode: Option<AIAgentTrai
                                 parentOf[j] <- int64 stateIds[state.Id]
                                 parentOf[numOfParentOfEdges + j] <- int64 stateIds[children])
 
+                            firstFreePositionInParentsOf <- firstFreePositionInParentsOf + state.Children.Length
+
                             state.PathCondition
                             |> Array.iteri (fun i pcId ->
                                 let j = firstFreePositionInPcToState + i
                                 index_pcToState[j] <- int64 pathConditionVerticesIds[pcId]
                                 index_pcToState[numOfParentOfEdges + j] <- int64 stateIds[state.Id])
+                                
+                            firstFreePositionInPcToState <- firstFreePositionInPcToState + 1
 
                             state.History
                             |> Array.iteri (fun i historyElem ->

VSharp.IL/Serializer.fs

@@ -495,13 +495,13 @@ let collectGameState (basicBlocks: ResizeArray<BasicBlock>) filterStates process
                 for term in pathCondition do
                     pathConditionDelta.AddRange(collectPathCondition term termsWithId processedPathConditionVertices)
 
-                let pathConditionId = [| for p in pathCondition -> termsWithId.[p] |]
+                let pathCondition = [| for p in pathCondition -> termsWithId.[p] |]
 
                 State(
                     s.Id,
                     (uint <| s.CodeLocation.offset - currentBasicBlock.StartOffset + 1<byte_offset>)
                     * 1u<byte_offset>,
-                    pathConditionId,
+                    pathCondition,
                     s.VisitedAgainVertices,
                     s.VisitedNotCoveredVerticesInZone,
                     s.VisitedNotCoveredVerticesOutOfZone,