Michael Zhu
|
4707a46561
|
Add negative assertions for endEpoch
|
2020-01-15 13:20:54 -08:00 |
|
Michael Zhu
|
865a2b1fb0
|
add/update comments
|
2019-12-09 23:45:38 -08:00 |
|
Michael Zhu
|
6754cd48e2
|
refactor + fix lint
|
2019-12-09 23:45:38 -08:00 |
|
Michael Zhu
|
ccb477687a
|
fixing bugs
|
2019-12-09 23:45:38 -08:00 |
|
Michael Zhu
|
4663eec950
|
Add function assertions required for staking rewards fuzzing: withdrawDelegatorRewards, finalizePool, and endEpoch. Also adds payProtocolFee-related assertions to fillOrder
|
2019-12-09 23:45:37 -08:00 |
|