Fixes Self-loop label bug when using compaction

Open Eddykasp opened this issue 1 year ago • 1 comments

Self-loop labels were previously omitted during compaction. This PR moves them together with everything else.

Oct 21 '24 12:10 Eddykasp

This looks good. Do you think that a test would be a good idea for compaction?

I looked into the current tests for compaction and they are only algorithmic tests on the CGraph i.e. not on the underlying graph elements. It would probably be good to add such a test to check that compaction has been properly applied to all elements of the graph. This would help avoid bugs such as this in the future, but I'm not sure what the best approach for that would be. Maybe we could merge this fix now, and open an issue to add better compaction tests in the future.

Oct 23 '24 11:10 Eddykasp

fixes #953

Dec 13 '24 08:12 Eddykasp