search

xtuml / munin

Apache License 2.0
1 stars 0 forks source link

Mun2 8 rationalise dynamic constraint #64

Closed gregarnot closed 1 year ago

gregarnot commented 1 year ago

The significant change here is to treat the dynamic control read in from the config file as a string in AEOrdering. This is then passed out to SVDC as a string and converted in the terminator service to the SVDC enum. It removes the need for the enum in AEOrdering and to ensure that the enums are kept in step which should reduce maintenance.

I think the branch is behind main so some of the work on logging and the rework on the invariants is not in this branch so please merge with care :-)

github-actions[bot] commented 1 year ago

Test results for branch "MUN2--8_rationalise_dynamic_Constraint": https://s3.amazonaws.com/1f-outgoing/munin/MUN2--8_rationalise_dynamic_Constraint/index.html Permanent link for this run: https://s3.amazonaws.com/1f-outgoing/munin/cbc9ffe/index.html