diff --git a/src/json.rs b/src/json.rs
index 15d4492..ba919f4 100644
--- a/src/json.rs
+++ b/src/json.rs
@@ -78,7 +78,8 @@ pub fn extract_rendered(output: &str, proc_res: &ProcRes) -> String {
                     }
                 }
             } else {
-                None
+                // preserve non-JSON lines, such as ICEs
+                Some(format!("{}\n", line))
             }
         })
         .collect()