From 5e08b77661b90c95dd07a13ce71bc94120f86fd1 Mon Sep 17 00:00:00 2001
From: Georgy Lukyanov <mail@geo2a.info>
Date: Sat, 13 Jul 2024 22:24:16 +0200
Subject: [PATCH] Allow log origin "proxy" (#4520)

With https://github.com/runtimeverification/haskell-backend/pull/3974,
`kore-rpc-booster` increments execution depth and emits a rewrite trace
in the scenario of pruning all but one branches in a branching execute
response. The trace has origin `"proxy"`, because that's where the step
is effectively taken. This PR makes sure `pyk` is ready to handle this.

Co-authored-by: rv-jenkins <admin@runtimeverification.com>
---
 pyk/src/pyk/kore/rpc.py | 1 +
 1 file changed, 1 insertion(+)

diff --git a/pyk/src/pyk/kore/rpc.py b/pyk/src/pyk/kore/rpc.py
index 3bbfdb68620..379042aca1c 100644
--- a/pyk/src/pyk/kore/rpc.py
+++ b/pyk/src/pyk/kore/rpc.py
@@ -622,6 +622,7 @@ def to_dict(self) -> dict[str, Any]:
 class LogOrigin(str, Enum):
     KORE_RPC = 'kore-rpc'
     BOOSTER = 'booster'
+    PROXY = 'proxy'
     LLVM = 'llvm'