Remove common preffix

Certora · Jan 8, 2025 · 3e2a473 · 3e2a473
1 parent 898f768
commit 3e2a473
Showing 1 changed file with 4 additions and 3 deletions.
diff --git a/scripts/run-certora.sh b/scripts/run-certora.sh
@@ -19,10 +19,11 @@ current_dir="$(pwd)"
 
 for conf_line in "${confs[@]}"; do
 
-  if [[ ${#conf_line} -gt $MAX_MSG_LEN ]]; then
-    MSG_CONF="${conf_line: -$REMAINING_LEN}"
+  short_conf_line="${conf_line#"$common_prefix"}"
+  if [[ ${#short_conf_line} -gt $MAX_MSG_LEN ]]; then
+    MSG_CONF="${short_conf_line: -$REMAINING_LEN}"
   else
-    MSG_CONF="$conf_line"
+    MSG_CONF="$short_conf_line"
   fi
 
   conf_parts=()