Merge pull request #172 from RalfJung/json-normalization

preserve non-JSON lines during normalization
Manishearth · Apr 16, 2019 · 5e05ec7 · 5e05ec7
2 parents dfd512e + 46c4b13
commit 5e05ec7
Showing 1 changed file with 2 additions and 1 deletion.
diff --git 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()