Skip to content

fix spurious test-case failure when Python is not installed

Alexandre Duret-Lutz requested to merge adl/misc-bugs into next

Fixes #530 (closed).

  • tests/core/ltlsynt2.test: Skip when PYTHON is empty.
  • NEWS: Mention the fix.

Merge request reports