Closed amalexandrescu closed 1 year ago
I implemented the deposit smart contract call for stacking. I am not sure if I need the postconditions there in the call of the function, this is why I commented out that line. If I don't need it, I will clean up the code after.
I implemented the deposit smart contract call for stacking. I am not sure if I need the postconditions there in the call of the function, this is why I commented out that line. If I don't need it, I will clean up the code after.