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

chore: run linter and fix formatting

Browse source
This commit is contained in:
Anand Balakrishnan 2023-08-30 16:02:03 -07:00
parent 3b3a7ce15e
commit 73921db5f9
7 changed files with 8 additions and 6 deletions
Download patch file Download diff file Expand all files Collapse all files

2
argus-core/Cargo.toml
View file

@ -9,7 +9,7 @@ itertools = "0.10.5"
paste = "1.0.12"
num-traits = "0.2.15"
thiserror = "1.0.39"
proptest = { version = "1.1.0", optional = true }
proptest = { version = "1.1", optional = true }
enum_dispatch = "0.3.11"
argus-derive = { version = "0.1.0", path = "../argus-derive" }

2
argus-core/src/expr.rs
View file

@ -358,6 +358,8 @@ impl ExprBuilder {
#[cfg(any(test, feature = "arbitrary"))]
pub mod arbitrary {
#![allow(clippy::arc_with_non_send_sync)]
//! Helper functions to generate arbitrary expressions using [`mod@proptest`].
use proptest::prelude::*;

2
argus-core/src/signals.rs
View file

@ -448,7 +448,7 @@ pub mod arbitrary {
ts.dedup();
ts.into_iter()
.map(Duration::from_secs)
.zip(values.clone().into_iter())
.zip(values.clone())
.collect::<Vec<_>>()
})
})

2
argus-core/src/signals/utils.rs
View file

@ -34,7 +34,7 @@ impl<T> Signal<T> {
match self {
Empty => Signal::Empty,
Constant { value } => Signal::constant(op(value)),
Sampled { values, time_points } => zip(time_points.into_iter(), values.into_iter().map(op)).collect(),
Sampled { values, time_points } => zip(time_points, values.into_iter().map(op)).collect(),
}
}

2
argus-semantics/Cargo.toml
View file

@ -11,4 +11,4 @@ paste = "1.0.12"
[dev-dependencies]
argus-core = { path = "../argus-core", features = ["arbitrary"] }
proptest = "1.1.0"
proptest = "1.1"

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

@ -235,7 +235,7 @@ fn compute_timed_eventually(signal: Signal<bool>, a: Duration, b: Option<Duratio
)
}
}
Signal::try_from_iter(ret_vals.into_iter())
Signal::try_from_iter(ret_vals)
}
None => {
// Shift the signal to the left by `a` and then run the untimed eventually.

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

@ -286,7 +286,7 @@ fn compute_timed_eventually(signal: Signal<f64>, a: Duration, b: Option<Duration
)
}
}
Signal::try_from_iter(ret_vals.into_iter())
Signal::try_from_iter(ret_vals)
}
None => {
// Shift the signal to the left by `a` and then run the untimed eventually.