Skip to content

synthesis: simplify split_2step_fast_here

Alexandre Duret-Lutz requested to merge adl/ltlsynt into next
  • spot/twaalgos/synthesis.cc (split_2step_fast_here): Do not use a temporary vector to iterate over the original edges.

Merge request reports