Nicolas Manini

ltsconvert with simulation minimization outputs badly formatted fsm files

4

When running `ltsconvert -esim -ofsm` on some inputs, the output fsm file does not satisfy the [given specification](https://www.mcrl2.org/web/user_manual/language_reference/lts.html#fsm-file-format), as the `STATES` section produced is empty, and the `TRANSITION` section is...