From 0e5e590f54488b8ae0ec6b930b22582daa1e19a8 Mon Sep 17 00:00:00 2001
From: Gitubrr <kt.spbu@gmail.com>
Date: Wed, 11 Mar 2026 19:43:20 +0300
Subject: [PATCH] numOfPathConditionVertexAttributes = 49 ->
 numOfPathConditionVertexAttributes = 48

---
 VSharp.Explorer/AISearcher.fs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/VSharp.Explorer/AISearcher.fs b/VSharp.Explorer/AISearcher.fs
index 458b6b2c3..03bd5f52a 100644
--- 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