Initial state

microsoft · Dec 19, 2023 · bffd4fc · bffd4fc
1 parent d9a0bd3
commit bffd4fc
Showing 1 changed file with 6 additions and 1 deletion.
diff --git a/tla/trace2scen.py b/tla/trace2scen.py
@@ -37,5 +37,10 @@ def step_to_action(pre_state, action, post_state):
 
 if __name__ == "__main__":
     with open(sys.argv[1]) as trace:
-        for step in json.load(trace)["action"]:
+        steps = json.load(trace)["action"]
+        initial_state = steps[0][0][1]
+        initial_node, = [node for node, log in initial_state["log"].items() if log]
+        print(f"start_node,{initial_node}")
+        print(f"emit_signature,2")
+        for step in steps:
             print(step_to_action(*step))