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

Show counter examples in green when property is expected to fail.

This commit is contained in:
KtorZ 2024-03-04 20:40:54 +01:00
parent 3e922c0a52
commit fbeb611e5f
No known key found for this signature in database
GPG Key ID: 33173CB6F77F4277
1 changed files with 22 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

26
crates/aiken-project/src/telemetry.rs
View File

@ -331,17 +331,35 @@ fn fmt_test(
..
}) = result
{
let is_expected_failure = result.is_success();
test = format!(
"{test}\n{}\n{}\n",
"× counterexample"
.if_supports_color(Stderr, |s| s.red())
.if_supports_color(Stderr, |s| s.bold()),
if is_expected_failure {
"★ counterexample"
.if_supports_color(Stderr, |s| s.green())
.if_supports_color(Stderr, |s| s.bold())
.to_string()
} else {
"× counterexample"
.if_supports_color(Stderr, |s| s.red())
.if_supports_color(Stderr, |s| s.bold())
.to_string()
},
&Formatter::new()
.expr(counterexample, false)
.to_pretty_string(60)
.lines()
.map(|line| {
format!("{} {}", "│".if_supports_color(Stderr, |s| s.red()), line)
format!(
"{} {}",
"│".if_supports_color(Stderr, |s| if is_expected_failure {
s.green().to_string()
} else {
s.red().to_string()
}),
line
)
})
.collect::<Vec<String>>()
.join("\n")