Temp: add id to report

runtimeverification · Jul 12, 2024 · 9da1768 · 9da1768
1 parent 25be1bc
commit 9da1768
Showing 1 changed file with 4 additions and 1 deletion.
diff --git a/kmxwasm/src/kmxwasm/tools.py b/kmxwasm/src/kmxwasm/tools.py
@@ -110,7 +110,10 @@ def explorer(self) -> KCFGExplore:
                     # port=39425,
                 )
         if not self.__kore_client:
-            self.__kore_client = KoreClient('localhost', self.__kore_server.port, bug_report=self.__bug_report)
+            self.__kore_client = KoreClient('localhost',
+                                            self.__kore_server.port,
+                                            bug_report=self.__bug_report,
+                                            bug_report_id='kasmer')
 
         if not self.__explorer:
             cterm_symbolic = CTermSymbolic(self.__kore_client, self.printer.definition)