Home / Input Output / decentralized-software-updates
33 commits this week Dec 06, 2019 - Dec 13, 2019

Add (currently failing) property that approvals are generated [skip ci]

The property is failing since it seems the probability of an approval is really low since votes for, against, and abstain are generated with equal probability, which means that we can’t reach the ~65% required for approval.

A way of solving this might be modeling the voting behavior for a SIP: an intial state with three outgoing transitions into states: majority behaves as approvers, majority behaves like rejecters, etc.