Skip to content
GitLab
Explore
Sign in
#269
CIF BDD and data-based synthesis: Use collectEvents/collectAutomata from CifCollectUtils.
Code
Review changes
Check out branch
Download
Patches
Plain diff
Dennis Hendriks
requested to merge
269-cif-datasynth-and-bdd-should-use-cifcollectutils
into
develop
Feb 04, 2024
Overview
3
Commits
2
Pipelines
1
Changes
3
Expand
Best to review per commit.
Additional change in
CifCollectUtils
: one implementation for
getComplexComponentsStream
.
Addresses
#269
Merge request reports
Loading