The Replay module ignores tokens
Opened this issue · 0 comments
jonathan-laurent commented
Currently, the Replay module ignores tokens. This prevents external tools such as KaTie to perform queries involving tokens (e.g. jonathan-laurent/KaTie#21 from @hmedina ). The simplest fix would be to add a field tokens: (string * Nbr.t) array
to the state
type and ensure that rule applications correctly update this field.
KappaTools/core/simulation/replay.mli
Lines 11 to 16 in 3e5eb6e