preserve non-JSON lines during normalization

RalfJung · RalfJung · commit 71f940f3c1ab · 2019-04-07T10:52:16.000+02:00
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()

Original file line number	Diff line number	Diff line change
`@@ -88,7 +88,8 @@ pub fn extract_rendered(output: &str, proc_res: &ProcRes) -> String {`
`88`	`88`	`}`
`89`	`89`	`}`
`90`	`90`	`} else {`
`91`		`- None`
	`91`	`+ // preserve non-JSON lines, such as ICEs`
	`92`	`+ Some(format!("{}\n", line))`
`92`	`93`	`}`
`93`	`94`	`})`
`94`	`95`	`.collect()`