Closed andreivladbrg closed 4 months ago
Note: I wanted to add the array of assets from test/invariant/Flow.t.sol to Base_Test, but I didn’t do it to prevent git conflicts
Unless, we are going to use this array in integration tests, I think its better to keep it in Flow contract.
@smol-ninja i've addressed your feedback, lmk if i missed anything
Linked issues
Changes
FlowCreateHandler
useFuzzedAsset
modifier inFlowCreateHandler
Invariant_Test
contractFlowCreateHandler
to preventStack too deep
errorBaseHandler
invariant_ContractBalanceGeStreamBalances
test for all assetsvm.assume
instead ofif(condition) return
Note: I wanted to add the array of assets from
test/invariant/Flow.t.sol
toBase_Test
, but I didn’t do it to prevent git conflicts.