Skip to content

#145 Add confluence check to controllercheck

Albert Hofkamp requested to merge add-confluence-check into develop

Adds confluence checking to the controllercheck application, as both properties should hold before a specification can be used in a PLC implementation.

Refactored computing MDD and other data into a new class, which is then made available to both finite response and confluence checking.

It is likely easier to read each commit separately.

Merge request reports