From 0a4d60b8216bf69780c3d12fd5e699f4eed239b1 Mon Sep 17 00:00:00 2001
From: KtorZ <5680256+KtorZ@users.noreply.github.com>
Date: Sat, 8 Feb 2025 16:20:22 +0100
Subject: [PATCH] minor aesthetic changes in test framework.

Signed-off-by: KtorZ <5680256+KtorZ@users.noreply.github.com>
---
 crates/aiken-lang/src/test_framework.rs | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/crates/aiken-lang/src/test_framework.rs b/crates/aiken-lang/src/test_framework.rs
index cb5e955b..33305d47 100644
--- a/crates/aiken-lang/src/test_framework.rs
+++ b/crates/aiken-lang/src/test_framework.rs
@@ -539,7 +539,7 @@ impl Benchmark {
                         test: self.clone(),
                         cost: ExBudget::default(),
                         success: false,
-                        traces: vec![format!("Fuzzer error: {}", e)],
+                        traces: vec![e.to_string()],
                     });
                     break;
                 }
@@ -1133,8 +1133,8 @@ impl<U, T> TestResult<U, T> {
     pub fn traces(&self) -> &[String] {
         match self {
             TestResult::UnitTestResult(UnitTestResult { traces, .. })
-            | TestResult::PropertyTestResult(PropertyTestResult { traces, .. }) => traces,
-            TestResult::Benchmark(BenchmarkResult { traces, .. }) => traces,
+            | TestResult::PropertyTestResult(PropertyTestResult { traces, .. })
+            | TestResult::Benchmark(BenchmarkResult { traces, .. }) => traces,
         }
     }
 }