search

blockchain-audit / recap-protocol

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

calculateAmountToSendPool #55

Open ruthklirs opened 4 months ago

henry-hz commented 4 months ago

pls specify what you are going to do... test, write a new function ?

ruthklirs commented 4 months ago

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