Test - Early Withdraw

[gnumonik]

Description

The tests generated in this PR modify the Happy path test generator such that a single randomly chosen withdrawal Tx in each generated Tx sequence attempts to withdraw vested funds from the contract before the deadline corresponding to the withdrawn amount.

The functions used to implement these tests are located in Generators.hs:

overRandomElem :: (a -> a) -> [a] -> Gen [a]
overRandomElem f as = do
  i <- chooseInt (0,length as - 1)
  let a  = as !! i
      a' = f a
  pure $ set (ix i) a' as

overRandomWithdrawConfig :: (WithdrawConfig -> WithdrawConfig) -> TestConfig -> Gen TestConfig
overRandomWithdrawConfig f (d,ws) = overRandomElem f ws >>= \ws' -> pure (d,ws')

withdrawTooEarly :: TestConfig -> Gen TestConfig
withdrawTooEarly = overRandomWithdrawConfig $ \w@WithdrawConfig{..} ->
  w {validStart = validStart - seconds 201}

As expected, each generated Tx sequence fails with a Not enough value remains locked to fulfill vesting schedule error.

These tests support our hypothesis that funds may only be unlocked after their vesting deadline has passed.

Conclusion

The above hypothesis holds, therefore no vulnerability was found.