#150
,
#144
Add warning message for event not enabled in controlled state space and changed simplificating for those events
Code
Review changes
Check out branch
Open in Workspace
Download
Patches
Plain diff
Expand sidebar
#150, #144 Add warning message for event not enabled in controlled state space and changed simplificating for those events
Ferdie Reijnen
requested to merge
150-add-warning-message-for-event-not-enabled-in-controlled-statespace-for-databased-synthesis
into
develop
Jul 20, 2021
Overview
16
Commits
3
Pipelines
1
Changes
18
Closes
#150 (closed)
Closes
#144 (closed)
Merge request reports
Loading