diff --git a/src/json.rs b/src/json.rs
index 3e5e98f..6f9e2ff 100644
--- a/src/json.rs
+++ b/src/json.rs
@@ -88,7 +88,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()