Add marker for coverage results

adpaco-aws · Feb 21, 2024 · 3b713bc · 3b713bc
1 parent fe3ebeb
commit 3b713bc
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/kani-driver/src/cbmc_property_renderer.rs b/kani-driver/src/cbmc_property_renderer.rs
@@ -524,7 +524,7 @@ fn format_result_new_coverage(properties: &[Property]) -> String {
         let function = demangle(&captures["func_name"]);
         let counter_num = &captures["counter_num"];
         let status = prop.status;
-        let new_str = format!("{function}, {counter_num}, {status}\n");
+        let new_str = format!("### {function}, {counter_num}, {status}\n");
         formatted_output.push_str(&new_str);
         // let file_entries = coverage_results.entry(|v| v.push().or_default();
         // let check_status = if prop.status == CheckStatus::Covered {