search

blockchain-audit / recap-protocol

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

48 invariant test on executedeposit function #77

Open sari341 opened 3 months ago

sari341 commented 3 months ago

write test on deposit function