purge_dead_states() - segmentation fault
In my Python program I get segfault after calling purge_dead_states()
. 90% of time I get it from one particular call, 5% of time I get it from a different call (elsewhere in the code) and 5% of time it finishes successfully.
My code is quite complex and I wasn't able to extract a small portion where the error would still occur. Printing the automaton right before purge_dead_states()
and then loading the resulting automaton and running purge_dead_states()
on that does not result in segfault anymore.
I currently don't have any more compact information to give you. If it would help you, I can try to comment my code a little and push my changes to my git repository for you to inspect.