never iterate on the edge_vector() (!97) · Merge requests · Spot / Spot · GitLab

Alexandre Duret-Lutz requested to merge adl/552 into next Nov 17, 2023

This fixes #552 (closed), reported by Rüdiger and Ayrat.

tests/sanity/style.test: Warn aginst iterations on edge_vector.
spot/parseaut/parseaut.yy, spot/twaalgos/complete.cc, spot/twaalgos/parity.cc: Iterate over edges(), not edge_vector().
tests/core/ltlcross.test: Add a test case for #552 (closed).
NEWS: Mention the bug.