search

informalsystems / partnership-heliax

1 stars 0 forks source link

Quint spec: change slash rate to a `Dec` type #59

Closed brentstone closed 11 months ago

brentstone commented 1 year ago

This is technically more accurate, but I know testing recently has only considered slash rates of 1.0 and may want to continue doing this. However, making this a Dec gives the flexibility to do more testing that is more aligned with Namada.

angbrav commented 1 year ago

Agree! That was my intention when I added the library. Did not have time yet to integrate it in the spec: lower priority than redelegation IMO. It is good though that you created the issue to keep track of it

angbrav commented 11 months ago

Not planning to do it.