debugging sensor

sense.py

@@ -163,9 +163,9 @@ def __init__(self, id, code=None, file_name=None):
 traces_veri = scenario.verify(30, 0.01)
 
 
-fig = go.Figure()
-fig = simulation_tree(traces_simu, None, fig, 1, 2, [0, 1], "lines", "trace")
-fig.show()
+# fig = go.Figure()
+# fig = simulation_tree(traces_simu, None, fig, 1, 2, [0, 1], "lines", "trace")
+# fig.show()
 
 
 fig = go.Figure()

verse/analysis/verifier.py

@@ -789,11 +789,15 @@ def get_transition_verify_opt(
         guard_hits = []
         guard_hit = False
         reduction_rate = 10
-        reduction_queue = [(0, trace_length, trace_length)]
+        # reduction_queue = [(0, trace_length, trace_length)]
+        # Create a fake reduction queue for debug purpose
+        reduction_queue = []
+        for i in range(trace_length-1):
+            reduction_queue.append((i,i+1,1))
         # for idx, end_idx,combine_len in reduction_queue:
         hits = []
         while reduction_queue:
-            idx, end_idx, combine_len = reduction_queue.pop()
+            idx, end_idx, combine_len = reduction_queue.pop(0)
             reduction_needed = False
             # print((idx, combine_len))
             any_contained = False