Michael Zhu
|
a24b293818
|
register actors in the SimulationEnvironment constructor
|
2019-12-12 14:38:07 -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 |
|
Michael Zhu
|
fff3c1eb36
|
update pool membership simulation to use multiple makers and takers, partial fills
|
2019-12-09 23:43:16 -08:00 |
|
Michael Zhu
|
faf306ad23
|
Simulation logging, hopefully address function assertion lifetime issue
|
2019-12-09 23:42:32 -08:00 |
|
Alex Towle
|
474399154f
|
Addressed last review comment
|
2019-12-03 14:41:53 -08:00 |
|
Alex Towle
|
19f5153d0e
|
Addressed some review feedback
|
2019-12-03 14:41:53 -08:00 |
|
Alex Towle
|
ce11271866
|
Appease the linter
|
2019-12-03 14:40:18 -08:00 |
|
Alex Towle
|
86cf353296
|
Improved the fuzz test
|
2019-12-03 14:40:07 -08:00 |
|
Alex Towle
|
36df5dc721
|
Implemented a hacky version of the fillOrder fuzz tests
|
2019-12-03 14:40:07 -08:00 |
|