Allow log origin "proxy" (#4520)

With runtimeverification/haskell-backend#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 <[email protected]>
runtimeverification · Jul 13, 2024 · 5e08b77 · 5e08b77
1 parent 29cabd1
commit 5e08b77
Showing 1 changed file with 1 addition and 0 deletions.
diff --git 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'