search

blockchain-audit / recap-protocol

Rewrite of Cap Protocol using Function Requirements-Effects-Interactions + Protocol Invariants Pattern
0 stars 0 forks source link

Add Invariant test to the Withdraw function in the Trade contract #50

Open MiriTenenboim opened 3 months ago