numOfPathConditionVertexAttributes = 49 -> numOfPathConditionVertexAttributes = 48 (#100)

Gitubrr · web-flow · commit 664c414dfd77 · 2026-03-11T20:03:56.000+03:00
diff --git a/VSharp.Explorer/AISearcher.fs b/VSharp.Explorer/AISearcher.fs
@@ -213,7 +213,7 @@ type internal AISearcher(oracle: Oracle, aiAgentTrainingMode: Option<AIAgentTrai
         ) =
         let numOfVertexAttributes = 7
         let numOfStateAttributes = 6
-        let numOfPathConditionVertexAttributes = 49
+        let numOfPathConditionVertexAttributes = 48
         let numOfHistoryEdgeAttributes = 2
 
 
