Michael Zhu 4707a46561 Add negative assertions for endEpoch

2020-01-15 13:20:54 -08:00

..

createStakingPool.ts

invalidCreateStakingPoolAssertion

2020-01-15 13:20:54 -08:00

decreaseStakingPoolOperatorShare.ts

invalidDecreaseStakingPoolOperatorShareAssertion

2020-01-15 13:20:54 -08:00

endEpoch.ts

Add negative assertions for endEpoch

2020-01-15 13:20:54 -08:00

fillOrder.ts

Fuzz testing for matchOrders and matchOrdersWithMaximalFill.

2020-01-14 16:17:43 -08:00

finalizePool.ts

fix bug in finalizePool

2020-01-15 13:20:54 -08:00

function_assertion.ts

fixing bugs

2019-12-09 23:45:38 -08:00

generic_assertions.ts

generic assertion for TRANSFER_FAILED reverts; _invalidStake generator

2020-01-15 13:20:54 -08:00

joinStakingPool.ts

add/update comments

2019-12-09 23:45:38 -08:00

matchOrders.ts

Minor fixes to order matching fuzz code

2020-01-14 17:32:10 -08:00

matchOrdersWithMaximalFill.ts

Minor fixes to order matching fuzz code

2020-01-14 17:32:10 -08:00

moveStake.ts

Add negative assertions for moveStake

2020-01-15 13:20:54 -08:00

stake.ts

Chagne StoredBalance functions to not mutate in place

2019-12-12 15:21:42 -08:00

unstake.ts

invalidUnstakeAssertion

2020-01-15 13:20:54 -08:00

withdrawDelegatorRewards.ts

invalidWithdrawDelegatorRewardsAssertion

2020-01-15 13:20:54 -08:00