search

sablier-labs / flow

🍃 Smart contracts of the Sablier Flow protocol.
Other
10 stars 2 forks source link

Replace bound with `vm.assume` in invariant handlers #244

Closed smol-ninja closed 2 months ago

smol-ninja commented 2 months ago

As discussed in https://github.com/sablier-labs/flow/discussions/243.

cc @andreivladbrg for your approval as you are a big proponent of not wasting any calls during testing.