Howdy spotters,
Once upon a time, right before a rewrite of ltlsynt at:
… ltlsynt was still aggressively calling "merge_states", see e.g.,
Being the sheep that I am, I vaguely copied at that time this behavior without really understanding it:
(The goal therein is simply to remove some states, then execute some simplification of the automaton.)
But then, the fire nation attacked. For some reason, with the most recent Spot master, I get a lot of crashes in merge_states, on that line specifically:
This is probably rooted in my incorrect use of that method, its companion simplification functions, and state deletion.
So, questions:
- Why did ltlsynt stop using merge_states/merge_edges?
- What is it I'm doing wrong in my use case?
Thank you!
Michaël