Skip to content
GitLab
Explore
Sign in
Spot
Spot
Merge requests
!80
to_finit: fix issue
#526
Code
Review changes
Check out branch
Download
Patches
Plain diff
Alexandre Duret-Lutz
requested to merge
adl/526
into
next
Feb 07, 2023
Overview
0
Commits
1
Pipelines
1
Changes
3
Expand
spot/twaalgos/remprop.cc: Use bdd_restrict instead of bdd_exists.
tests/core/ltlf.test: Add test case.
NEWS: Mention the bug.
Merge request reports