Rename PathCondition according to client's naming

Author: Parzival-05

VSharp.Explorer/AISearcher.fs

@@ -180,7 +180,7 @@ type internal AISearcher(oracle: Oracle, aiAgentTrainingMode: Option<AIAgentTrai
                     State(
                         s.Id,
                         s.Position,
-                        s.PathCondition,
+                        s.PathConditionSize,
                         s.VisitedAgainVertices,
                         s.VisitedNotCoveredVerticesInZone,
                         s.VisitedNotCoveredVerticesOutOfZone,
@@ -383,7 +383,7 @@ type internal AISearcher(oracle: Oracle, aiAgentTrainingMode: Option<AIAgentTrai
                             firstFreePositionInParentsOf <- firstFreePositionInParentsOf + state.Children.Length
 
                             index_pcToState.[firstFreePositionInPcToState] <-
-                                int64 pathConditionVerticesIds[state.PathCondition.Id]
+                                int64 pathConditionVerticesIds[state.PathConditionSize.Id]
 
                             index_pcToState.[firstFreePositionInPcToState + gameState.States.Length] <-
                                 int64 stateIds[state.Id]

VSharp.ML.GameServer/Messages.fs

@@ -153,7 +153,7 @@ type StateHistoryElem =
 type State =
     val Id: uint<stateId>
     val Position: uint<byte_offset> // to basic block id
-    val PathCondition: PathConditionVertex
+    val PathConditionSize: PathConditionVertex
     val VisitedAgainVertices: uint
     val VisitedNotCoveredVerticesInZone: uint
     val VisitedNotCoveredVerticesOutOfZone: uint
@@ -177,7 +177,7 @@ type State =
         ) =
         { Id = id
           Position = position
-          PathCondition = pathCondition
+          PathConditionSize = pathCondition
           VisitedAgainVertices = visitedAgainVertices
           VisitedNotCoveredVerticesInZone = visitedNotCoveredVerticesInZone
           VisitedNotCoveredVerticesOutOfZone = visitedNotCoveredVerticesOutOfZone