Commits on Sep 17, 2024

1. test: add a new invariant for streamed amount …

   test: invariant to compare total debt, streamed amount and withdrawn amount
   
   test: calculate streamed amount from ongoing debt before and after
   
   Co-authored-by: Andrei Vlad Birgaoanu <99738872+andreivladbrg@users.noreply.github.com>
   
   test(invariant): update function calls made by stream ID
   test(invariant): move depositAmount to CreateParams struct to avoid stack too deep error
   
   Co-authored-by: Andrei Vlad Birgaoanu <99738872+andreivladbrg@users.noreply.github.com>
   
   test: remove incorrect invariant

   

   smol-ninja committed Sep 17, 2024
   Configuration menu

   • View commit details
   • Copy full SHA for 1ac04d5
   • Browse repository at this point

   Copy the full SHA

   1ac04d5 View commit details

   Browse the repository at this point in the history