From d512c4bc3ffe78172b433cae37122f395adc34ac Mon Sep 17 00:00:00 2001
From: Adrian Palacios <accorell@amazon.com>
Date: Mon, 22 Apr 2024 21:25:06 +0000
Subject: [PATCH] Use curly brackets instead

---
 kani-compiler/src/codegen_cprover_gotoc/codegen/statement.rs | 2 +-
 kani-driver/src/call_cbmc.rs                                 | 4 ++--
 2 files changed, 3 insertions(+), 3 deletions(-)

diff --git a/kani-compiler/src/codegen_cprover_gotoc/codegen/statement.rs b/kani-compiler/src/codegen_cprover_gotoc/codegen/statement.rs
index 18ab3341d54e..c3e46da09175 100644
--- a/kani-compiler/src/codegen_cprover_gotoc/codegen/statement.rs
+++ b/kani-compiler/src/codegen_cprover_gotoc/codegen/statement.rs
@@ -115,7 +115,7 @@ impl<'tcx> GotocCtx<'tcx> {
 
                 let fun = self.current_fn().readable_name();
                 let instance = self.current_fn().instance_stable();
-                let cov_info = format!("{cov:?} [{fun}]");
+                let cov_info = format!("{cov:?} {{{fun}}}");
                 // NOTE: This helps see the coverage info we're processing
                 // println!("COVERAGE: {:?} {:?} {:?}", cov, fun, stmt.span);
                 let cov_span = coverage_opaque_span(self.tcx, cov.clone(), instance);
diff --git a/kani-driver/src/call_cbmc.rs b/kani-driver/src/call_cbmc.rs
index 956b646848dc..f114d01bc9e8 100644
--- a/kani-driver/src/call_cbmc.rs
+++ b/kani-driver/src/call_cbmc.rs
@@ -419,7 +419,7 @@ fn coverage_results_from_properties(properties: &[Property]) -> Option<CoverageR
         static RE: OnceLock<Regex> = OnceLock::new();
         RE.get_or_init(|| {
             Regex::new(
-                r#"^CounterIncrement\((?<counter_num>[0-9]+)\) \[(?<func_name>[^\]]+)\] - (?<span>.+)"#,
+                r#"^CounterIncrement\((?<counter_num>[0-9]+)\) \{(?<func_name>[^\}]+)\} - (?<span>.+)"#,
             )
             .unwrap()
         })
@@ -429,7 +429,7 @@ fn coverage_results_from_properties(properties: &[Property]) -> Option<CoverageR
         static RE: OnceLock<Regex> = OnceLock::new();
         RE.get_or_init(|| {
             Regex::new(
-                r#"^ExpressionUsed\((?<expr_num>[0-9]+)\) \[(?<func_name>[^\]]+)\] - (?<span>.+)"#,
+                r#"^ExpressionUsed\((?<expr_num>[0-9]+)\) \{(?<func_name>[^\}]+)\} - (?<span>.+)"#,
             )
             .unwrap()
         })