From 2efa074710411c1f156cbf5713eab8278f8f291f Mon Sep 17 00:00:00 2001
From: Noah Watson <107630091+nwatson22@users.noreply.github.com>
Date: Tue, 18 Jun 2024 01:43:57 -0500
Subject: [PATCH] Escape @ in _make_module_name (#4448)

Fixes https://github.com/runtimeverification/kontrol/issues/613.
I have verified this change fixes the issue in kontrol with module names
generated from contracts with an `@` symbol on their path.
---
 pyk/src/pyk/proof/reachability.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/pyk/src/pyk/proof/reachability.py b/pyk/src/pyk/proof/reachability.py
index d9c0872623c..c6cb2f1316c 100644
--- a/pyk/src/pyk/proof/reachability.py
+++ b/pyk/src/pyk/proof/reachability.py
@@ -291,7 +291,7 @@ def formatted_exec_time(self) -> str:
     @staticmethod
     def _make_module_name(proof_id: str) -> str:
         return 'M-' + re.sub(
-            r'[\[\]]|[_%().:,]+', lambda match: 'bkt' if match.group(0) in ['[', ']'] else '-', proof_id.upper()
+            r'[\[\]]|[_%().:,@]+', lambda match: 'bkt' if match.group(0) in ['[', ']'] else '-', proof_id.upper()
         )
 
     @staticmethod