replace the delay logic from invariant with an inequality

sablier-labs / flow

🍃 Smart contracts of the Sablier Flow protocol.

Other

8 stars 0 forks source link

Closed smol-ninja closed 2 days ago

smol-ninja commented 5 days ago

As discussed in https://github.com/sablier-labs/flow/issues/289, remove the delay logic from invariant_TotalStreamedWithDelayEqTotalDebtPlusWithdrawn and use inequality as follows:

approximately assert that "totalStreamedAmount = flow.totalDebtOf(streamId) + flowStore.withdrawnAmounts(streamId)" with a delta of 10 wei.