Skip to content

ERGO model updates for verification

Iulia Dragomir requested to merge ergo_updates into master

Added files to the ERGO case study that are specific for the verification of guidance properties, so that the results can be easily replicated.

Merge request reports