Skip to content

never iterate on the edge_vector()

Alexandre Duret-Lutz requested to merge adl/552 into next

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/, spot/twaalgos/ Iterate over edges(), not edge_vector().
  • tests/core/ltlcross.test: Add a test case for #552 (closed).
  • NEWS: Mention the bug.

Merge request reports