Small code cleanup.

PySymGym · Jan 10, 2024 · cca7561 · cca7561
1 parent 66063ad
commit cca7561
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 3 deletions.
diff --git a/VSharp.IL/CFG.fs b/VSharp.IL/CFG.fs
@@ -508,7 +508,7 @@ and
 and IGraphTrackableState =
     abstract member CodeLocation: codeLocation
     abstract member CallStack: list<Method>
-    abstract member Id: uint<VSharp.ML.GameServer.Messages.stateId>
+    abstract member Id: uint<stateId>
     abstract member PathConditionSize: uint    
     abstract member VisitedNotCoveredVerticesInZone: uint with get
     abstract member VisitedNotCoveredVerticesOutOfZone: uint with get

diff --git a/VSharp.SILI/CILState.fs b/VSharp.SILI/CILState.fs
@@ -506,8 +506,7 @@ module CilState =
             override this.CodeLocation = this.approximateLoc
             override this.CallStack = Memory.StackTrace this.state.stack |> List.map (fun m -> m :?> Method)
             override this.Id = this.internalId
-            override this.PathConditionSize with get () = 1u            
-            //override this.VisitedAgainEdges = 1u
+            override this.PathConditionSize with get () = 1u //PersistentSet.cardinality this.state.pc |> uint32
             override this.VisitedAgainVertices with get () = this.visitedAgainVertices
             override this.VisitedNotCoveredVerticesInZone with get () = this.visitedNotCoveredVerticesInZone
             override this.VisitedNotCoveredVerticesOutOfZone with get () = this.visitedNotCoveredVerticesOutOfZone