Skip to content

ltlsynt: --ins is optional but not its argument

Alexandre Duret-Lutz requested to merge adl/ltlsynt into next

Fixes #481, reported by Michaël Cadilhac.

  • bin/ltlsynt.cc (argp_option): Remove erroneous OPTION_ARG_OPTIONAL.
  • tests/core/ltlsynt.test: Add test case.

Merge request reports