From 5b2d7315eb9528f71c2ed40cd4123556f418e13b Mon Sep 17 00:00:00 2001
From: Jussi Saurio <jussi.saurio@gmail.com>
Date: Fri, 18 Jul 2025 11:19:11 +0300
Subject: [PATCH] sim: show seed in 'execute_interaction()' trace

---
 simulator/runner/execution.rs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/simulator/runner/execution.rs b/simulator/runner/execution.rs
index 1c14e49e3..d943ebc85 100644
--- a/simulator/runner/execution.rs
+++ b/simulator/runner/execution.rs
@@ -173,7 +173,7 @@ pub(crate) enum ExecutionContinuation {
     NextProperty,
 }
 
-#[instrument(skip(env, interaction, stack), fields(interaction = %interaction))]
+#[instrument(skip(env, interaction, stack), fields(seed = %env.opts.seed, interaction = %interaction))]
 pub(crate) fn execute_interaction(
     env: &mut SimulatorEnv,
     connection_index: usize,