Closed fridex closed 7 years ago
This needs changes in Selinon's SystemState as there could be multiple conditions in a failures graph node.
Closing in favour of #16.
This needs changes in Selinon's SystemState as there could be multiple conditions in a failures graph node.