HTLC Fuzz Test Assignment

Note: As mentioned earlier, I'm still learning Echidna but I have tried my best for this assignment and have added as much natspec as I could. Excuse all the commit messages as they were generated by a zsh plugin (that I created... I'm proud of it)

Setting up

forge install @openzeppelin/contracts --no-commit
forge install https://github.com/crytic/properties.git --no-commit

(Also make sure you have echidna...)

Fuzz tests

• src/HTLCFuzzTest.sol
• config.yaml

Execution command

echidna . --contract TestHTLC --config config.yaml