Skip to content

revert c45ff0c9 and add test case showing why

Alexandre Duret-Lutz requested to merge adl/ltlsynt-csv into next
  • bin/ltlsynt.cc: Revert c45ff0c9.
  • tests/core/ltlsynt2.test: New file.
  • tests/Makefile.am: Add it.

Merge request reports