Skip to content

ltlsynt: fix a bug in split_2step_fast_here

Alexandre Duret-Lutz requested to merge adl/ltlsynt into next
  • spot/twaalgos/synthesis.cc (split_2step_fast_here::get_ps): Fix the state number recorded in the map.
  • tests/core/ltlsynt.test: Add test case.

Merge request reports