#646 FESTO benchmark model: removed duplicate invariants. (!647) · Merge requests · Eclipse Projects / Eclipse ESCET (Supervisory Control Engineering Toolkit) / escet · GitLab

Dennis Hendriks requested to merge 646-festo-benchmark-model-has-duplicate-invariants into develop Sep 10, 2023

Changed as discussed in #646 (closed).
Output has not changed in any meaningful way: output.diff / generated.diff

Closes #646 (closed)

Copyright © Eclipse Foundation, Inc. All Rights Reserved. Privacy Policy | Terms of Use | Copyright Agent