open-autonomy icon indicating copy to clipboard operation
open-autonomy copied to clipboard

Unclear error while checking FSM spec

Open dvilelaf opened this issue 1 year ago • 1 comments

Whenever we do not reference a specified event in our rounds, the FSM checker will report something like:

Error: Unreferenced events found in `AutomateAbciApp`
- Events {'NO_MAJORITY', 'DONE'} are defined in the round transitions of `ConditionCheckerRound` but not in `event_to_timeout`
- Events {'NO_MAJORITY', 'DONE'} are defined in the round transitions of `RelayFetcherRound` but not in `event_to_timeout`
- Events {'SETTLE'} are defined in the round transitions of `ExecutorRound` but not in `event_to_timeout`

THis has nothing to do with event_to_timeout and the message should be updated.

dvilelaf avatar Mar 22 '24 17:03 dvilelaf

@dvilelaf @angrybayblade I've raised a PR for this issue, please review and provide comments.

Devanshusisodiya avatar Mar 28 '24 14:03 Devanshusisodiya