search

blockchain-audit / recap-protocol

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

calculateAmountMinusFee #54

Closed RacheliPaley closed 3 months ago

RacheliPaley commented 3 months ago

test calculateAmountMinusFee function

RacheliPaley commented 3 months ago

Write uni-test and invariant - test for this function.