crowetic/protocol
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Add negative assertions for endEpoch

Browse Source
This commit is contained in:
Michael Zhu
2020-01-08 18:09:55 -08:00
parent 616533c5a8
commit 4707a46561
3 changed files with 78 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

6
contracts/integrations/test/fuzz_tests/staking_rewards_test.ts
View File

@@ -38,8 +38,10 @@ export class StakingRewardsSimulation extends Simulation {
...stakers.map(staker => [staker.simulationActions.validWithdrawDelegatorRewards, 0.1 / stakers.length]),
// 10% chance of executing validFinalizePool for a random keeper
...keepers.map(keeper => [keeper.simulationActions.validFinalizePool, 0.1 / keepers.length]),
// 10% chance of executing validEndEpoch for a random keeper
...keepers.map(keeper => [keeper.simulationActions.validEndEpoch, 0.1 / keepers.length]),
// 7% chance of executing validEndEpoch for a random keeper
...keepers.map(keeper => [keeper.simulationActions.validEndEpoch, 0.07 / keepers.length]),
// 3% chance of executing invalidEndEpoch for a random keeper
...keepers.map(keeper => [keeper.simulationActions.invalidEndEpoch, 0.03 / keepers.length]),
// 50% chance of executing an assertion generated from the pool membership simulation
[poolMembership.generator, 0.5],
// 20% chance of executing an assertion generated from the stake management simulation