search

blockchain-audit / recap-protocol

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

Invariant test #41

Closed malka8580 closed 3 months ago

malka8580 commented 3 months ago

I want to try to add Invariant test for the functions addLiquidity +updaetGov

malka8580 commented 3 months ago

I want to try to add Invariant test for the functions removeLiquidity + creditFee