Skip to content

to_finit: fix issue #526

Alexandre Duret-Lutz requested to merge adl/526 into next
  • spot/twaalgos/remprop.cc: Use bdd_restrict instead of bdd_exists.
  • tests/core/ltlf.test: Add test case.
  • NEWS: Mention the bug.

Merge request reports