waalge
/
aiken
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Cargo fmt

This commit is contained in:
Pi Lanningham 2024-03-08 20:43:27 -05:00
parent ace58e368c
commit ebd6c3a56e
2 changed files with 9 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
crates/aiken-project/src/lib.rs
View File

@ -338,7 +338,9 @@ where
let tests = self.run_tests(tests, seed); let tests = self.run_tests(tests, seed);
self.checks_count = if tests.is_empty() { None } else { self.checks_count = if tests.is_empty() {
None
} else {
Some(tests.iter().fold(0, |acc, test| { Some(tests.iter().fold(0, |acc, test| {
acc + match test { acc + match test {
TestResult::PropertyTestResult(r) => r.iterations, TestResult::PropertyTestResult(r) => r.iterations,

8
crates/aiken-project/src/watch.rs
View File

@ -36,11 +36,15 @@ impl Display for Summary {
"Summary" "Summary"
.if_supports_color(Stderr, |s| s.purple()) .if_supports_color(Stderr, |s| s.purple())
.if_supports_color(Stderr, |s| s.bold()), .if_supports_color(Stderr, |s| s.bold()),
if let Some(c) = self.check_count { format!("{} ", c) } else { "".to_string() }, if let Some(c) = self.check_count {
format!("{} ", c)
} else {
"".to_string()
},
match self.check_count { match self.check_count {
Some(1) => "check, ", Some(1) => "check, ",
Some(_) => "checks, ", Some(_) => "checks, ",
None => "" None => "",
} }
.if_supports_color(Stderr, |s| s.green()) .if_supports_color(Stderr, |s| s.green())
.if_supports_color(Stderr, |s| s.bold()), .if_supports_color(Stderr, |s| s.bold()),