Skip to content
GitLab
Explore
Sign in
Spot
Spot
Merge requests
!61
revert
c45ff0c9
and add test case showing why
Code
Review changes
Check out branch
Download
Patches
Plain diff
Alexandre Duret-Lutz
requested to merge
adl/delay
into
next
Sep 23, 2022
Overview
0
Commits
1
Pipelines
1
Changes
3
Expand
bin/ltlsynt.cc: Revert
c45ff0c9
. Also fix documentation of exit status.
tests/core/ltlsynt2.test: New file.
tests/Makefile.am: Add it.
Merge request reports