[Spot] Re: spot bug, multiple initial states and empty transitions

"Beutner, Raven" <raven.beutner@cispa.de> writes:

Dear spot team,

It seems like there is a bug in the current version of spot, that occurs under certain combinations of multiple initial states and states without any successors.

Hi Raven, Thank you for catching that. The set of conditions to trigger that is not common: you need multiple initial states that that do not have incoming transitions, the last of those should have no outgoing transitions, while at least one other should have outgoing transitions. Apply the first hunk of the change to parseaut.yy in https://gitlab.lre.epita.fr/spot/spot/-/commit/c0cb1469e9d619033793f39d4acdd... if you need a quick fix. Alexandre