research/argus
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

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

Browse source
This commit is contained in:
Anand Balakrishnan 2023-10-15 23:56:46 -07:00
parent 59cbf0eb30
commit add6415c9d
No known key found for this signature in database
2 changed files with 2 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

2
argus/src/semantics/boolean.rs
View file

@ -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")),
)
}

2
argus/src/semantics/quantitative.rs
View file

@ -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")),
)
}