Skip to content

Commit

Permalink
fix: false positive of autonomy analyse fsm-specs
Browse files Browse the repository at this point in the history
  • Loading branch information
Adamantios committed Dec 13, 2024
1 parent 8d3eafd commit 7a0d2dd
Showing 1 changed file with 10 additions and 0 deletions.
10 changes: 10 additions & 0 deletions packages/valory/skills/decision_maker_abci/rounds.py
Original file line number Diff line number Diff line change
Expand Up @@ -93,16 +93,19 @@ class DecisionMakerAbciApp(AbciApp[Event]):
- benchmarking disabled: 14.
- no majority: 0.
- round timeout: 0.
- none: 20.
- no op: 20.
- blacklist: 20.
1. BenchmarkingRandomnessRound
- done: 3.
- round timeout: 1.
- no majority: 1.
- none: 20.
2. RandomnessRound
- done: 3.
- round timeout: 2.
- no majority: 2.
- none: 20.
3. SamplingRound
- done: 4.
- none: 16.
Expand Down Expand Up @@ -202,18 +205,25 @@ class DecisionMakerAbciApp(AbciApp[Event]):
Event.ROUND_TIMEOUT: CheckBenchmarkingModeRound,
# added because of `autonomy analyse fsm-specs`
# falsely reporting them as missing from the transition
Event.NONE: ImpossibleRound,
Event.NO_OP: ImpossibleRound,
Event.BLACKLIST: ImpossibleRound,
},
BenchmarkingRandomnessRound: {
Event.DONE: SamplingRound,
Event.ROUND_TIMEOUT: BenchmarkingRandomnessRound,
Event.NO_MAJORITY: BenchmarkingRandomnessRound,
# added because of `autonomy analyse fsm-specs`
# falsely reporting this as missing from the transition
Event.NONE: ImpossibleRound,
},
RandomnessRound: {
Event.DONE: SamplingRound,
Event.ROUND_TIMEOUT: RandomnessRound,
Event.NO_MAJORITY: RandomnessRound,
# added because of `autonomy analyse fsm-specs`
# falsely reporting this as missing from the transition
Event.NONE: ImpossibleRound,
},
SamplingRound: {
Event.DONE: SubscriptionRound,
Expand Down

0 comments on commit 7a0d2dd

Please sign in to comment.