add assertions in code for echidna fuzzing

ditto-lab / ditto

NFT Future protocol

MIT License

60 stars 3 forks source link

add assertions in code for echidna fuzzing #48

Closed 0xbok closed 2 years ago

0xbok commented 2 years ago

I am also trying to set up echidna, but it's not that simple since we need to configure ERC20 and an NFT contract for echidna to play with. Hitting a road block, I'll create a branch for a reference.

0xbok commented 2 years ago

We should move to foundry invariant testing since I wasn't able to fix echidna setup. Closing this.