diff --git a/crates/aiken-project/src/lib.rs b/crates/aiken-project/src/lib.rs
index bc73a4f9..b628673a 100644
--- a/crates/aiken-project/src/lib.rs
+++ b/crates/aiken-project/src/lib.rs
@@ -285,7 +285,7 @@ where
                     property_max_success,
                 }
             },
-            json: json,
+            json,
         };
 
         self.compile(options)
diff --git a/crates/aiken-project/src/telemetry.rs b/crates/aiken-project/src/telemetry.rs
index 81fdffd8..ecbde3d9 100644
--- a/crates/aiken-project/src/telemetry.rs
+++ b/crates/aiken-project/src/telemetry.rs
@@ -197,7 +197,7 @@ impl EventListener for Terminal {
                         "modules": group_by_module(&tests).iter().map(|(module, results)| {
                             serde_json::json!({
                                 "name": module,
-                                "tests": results.iter().map(|r| fmt_test_json(r, max_mem, max_cpu, max_iter)).collect::<Vec<_>>(),
+                                "tests": results.iter().map(|r| fmt_test_json(r)).collect::<Vec<_>>(),
                                 "summary": fmt_test_summary_json(results)
                             })
                         }).collect::<Vec<_>>(),
@@ -520,12 +520,7 @@ fn fmt_test_summary<T>(tests: &[&TestResult<T, T>], styled: bool) -> String {
     )
 }
 
-fn fmt_test_json(
-    result: &TestResult<UntypedExpr, UntypedExpr>,
-    max_mem: usize,
-    max_cpu: usize,
-    max_iter: usize,
-) -> serde_json::Value {
+fn fmt_test_json(result: &TestResult<UntypedExpr, UntypedExpr>) -> serde_json::Value {
     let mut test = json!({
         "name": result.title(),
         "status": if result.is_success() { "PASS" } else { "FAIL" },
@@ -609,7 +604,7 @@ fn fmt_overall_summary_json(tests: &[TestResult<UntypedExpr, UntypedExpr>]) -> s
         "modules": modules.into_iter().map(|(module, results)| {
             json!({
                 "name": module,
-                "tests": results.iter().map(|r| fmt_test_json(r, max_mem, max_cpu, max_iter)).collect::<Vec<_>>(),
+                "tests": results.iter().map(|r| fmt_test_json(r)).collect::<Vec<_>>(),
                 "summary": fmt_test_summary_json(&results),
             })
         }).collect::<Vec<_>>(),