fix(argus): use the correct timestamp for wedge iter

anand-bala · Oct 16, 2023 · add6415 · add6415
1 parent 59cbf0e
commit add6415
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/argus/src/semantics/boolean.rs b/argus/src/semantics/boolean.rs
@@ -250,7 +250,7 @@ fn compute_timed_eventually<I: InterpolationMethod<bool>>(
                     ret_vals.push(
                         wedge
                             .front()
-                            .map(|(&t, &v)| (t, v))
+                            .map(|(_, &v)| (*i - width, v))
                             .unwrap_or_else(|| panic!("wedge should have at least 1 element")),
                     )
                 }

diff --git a/argus/src/semantics/quantitative.rs b/argus/src/semantics/quantitative.rs
@@ -296,7 +296,7 @@ fn compute_timed_eventually<I: InterpolationMethod<f64>>(
                     ret_vals.push(
                         wedge
                             .front()
-                            .map(|(&t, &v)| (t, v))
+                            .map(|(_, &v)| (*i - width, v))
                             .unwrap_or_else(|| panic!("wedge should have at least 1 element")),
                     )
                 }