search

filecoin-saturn / contracts

contracts
6 stars 0 forks source link

feat: basic echidna fuzzing tests #5

Closed alexander-camuto closed 1 year ago

alexander-camuto commented 1 year ago

Adds some basic echidna fuzzing tests and verifications for PaymentSplitter.sol.