-
Jonathan Shahen authored
Adds stats to the SMV files, useful to know how many roles have no transitions besides staying at FALSE; This will be used to show the possibilities of a future optimization
1b4e5320
Adds stats to the SMV files, useful to know how many roles have no transitions besides staying at FALSE; This will be used to show the possibilities of a future optimization