fix issue in incremental verification

AutoVerse-ai · Jan 31, 2024 · 0bf7acf · 0bf7acf
1 parent e3499a5
commit 0bf7acf
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/verse/analysis/verifier.py b/verse/analysis/verifier.py
@@ -590,7 +590,7 @@ def compute_full_reachtube(
                         if cached != None:
                             cached_trans_tubes[agent_id] = cached
                         # if incremental and DRYVR, check cache tube first
-                        if agent_id not in node.trace and reachability_method == "DRYVR":
+                        if agent_id not in node.trace and reachability_method == ReachabilityMethod.DRYVR:
                             # uncertain_param = node.uncertain_param[agent_id]
                             # CachedTube.tube
                             cur_bloated_tube, miss_seg_idx_list = self.check_cache_bloated_tube(