Fix a bug in unbonding, add tests and a couple of invariants - Githubissues

informalsystems / partnership-heliax

1 stars 0 forks source link

Fix a bug in unbonding, add tests and a couple of invariants #76

Closed angbrav closed 1 year ago

angbrav commented 1 year ago

This PR:

fixes a bug in unbonding;
adds tests for computeModifiedRedelegation
adds invariants stakeEqualSumSlashedBonds and bondsGreaterRedelegations