Add action names for simulation mode trace dumps (#767)

Add action names for simulation mode trace dumps Related to GitHub issue #666 #666 [Feature][TLC]
tlaplus · Oct 8, 2022 · ddde2e9 · ddde2e9
1 parent 79b38ca
commit ddde2e9
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/tlatools/org.lamport.tlatools/src/tlc2/tool/SimulationWorker.java b/tlatools/org.lamport.tlatools/src/tlc2/tool/SimulationWorker.java
@@ -566,6 +566,10 @@ public StateVec get() {
 				}
 			}.get();
 			for (int idx = 0; idx < stateTrace .size(); idx++) {
+				Action curAction = stateTrace.elementAt(idx).getAction();
+				if (curAction != null) {
+					pw.println("\\* " + curAction.getLocation());
+				}
 				pw.println("STATE_" + (idx + 1) + " == ");
 				pw.println(stateTrace.elementAt(idx) + "\n");
 			}