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

minor aesthetic changes in test framework. 

Signed-off-by: KtorZ <5680256+KtorZ@users.noreply.github.com>
This commit is contained in:
KtorZ 2025-02-08 16:20:22 +01:00
parent 497f663513
commit 0a4d60b821
No known key found for this signature in database
GPG Key ID: 33173CB6F77F4277
1 changed files with 3 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
crates/aiken-lang/src/test_framework.rs
View File

@ -539,7 +539,7 @@ impl Benchmark {
test: self.clone(), test: self.clone(),
cost: ExBudget::default(), cost: ExBudget::default(),
success: false, success: false,
traces: vec![format!("Fuzzer error: {}", e)], traces: vec![e.to_string()],
}); });
break; break;
} }
@ -1133,8 +1133,8 @@ impl<U, T> TestResult<U, T> {
pub fn traces(&self) -> &[String] { pub fn traces(&self) -> &[String] {
match self { match self {
TestResult::UnitTestResult(UnitTestResult { traces, .. }) TestResult::UnitTestResult(UnitTestResult { traces, .. })
| TestResult::PropertyTestResult(PropertyTestResult { traces, .. }) => traces, | TestResult::PropertyTestResult(PropertyTestResult { traces, .. })
TestResult::Benchmark(BenchmarkResult { traces, .. }) => traces, | TestResult::Benchmark(BenchmarkResult { traces, .. }) => traces,
} }
} }
} }