tweag / cooked-validators

MIT License
39 stars 11 forks source link

`initialDistribution'` should always return a valid initial distribution. #166

Closed carlhammann closed 1 year ago

carlhammann commented 1 year ago

It's in the title. Presently, something like initialDistribution' [(wallet 1, someNonAdaValue)] will construct an invalid initial distribution, because wallet 1 will own an UTxO with 0 Ada, which is less than the minimum amount of 2 Ada required for every UTxO.