Skip to content

ltlsynt: improve error message in case of missing --ins and --outs

Alexandre Duret-Lutz requested to merge adl/ltlsynt into next
  • bin/ltlsynt.cc: Here.
  • tests/core/ltlsynt.test: Test the error.

Merge request reports