CHANGELOG entry

informalsystems · Dec 16, 2024 · 6f00f7b · 6f00f7b
1 parent 879bede
commit 6f00f7b
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/CHANGELOG.md b/CHANGELOG.md
@@ -22,6 +22,8 @@ and this project adheres to [Semantic Versioning](https://semver.org/spec/v2.0.0
 ### Removed
 ### Fixed
 
+- Changed the `--mbt` variables representation into `mbt::actionTaken` and `mbt::nondetPicks`. 
+Added those variables to the `vars` field of the ITF json so that they are displayed correctly in the trace viewer.
 - Fixed a problem where traces other than the first one when `--n-traces` > 1
   and `--mbt` is true had the incorrect `action_taken` and `nondet_picks` values
   (#1553).