Skip to content

auts_to_aiger: Fix output name index

Florian Renkin requested to merge fr/aig_vars into next
  • spot/twaalgos/aiger.cc: Correct the position of an output in a realizability_simplifier.
  • tests/core/ltlsynt.test: Add test.

Merge request reports