search

raiden-network / raiden-contracts

Raiden Network Smart Contracts
MIT License
53 stars 45 forks source link

apply Echdna to see what it says #369

Open pirapira opened 5 years ago

pirapira commented 5 years ago

Some time ago, Mythril, solhint and Solium have been applied on the contract sources: https://github.com/raiden-network/raiden-contracts/issues/224

This issue keeps track of applying Echdna, and recording the setup and the results.

pirapira commented 5 years ago

This depends on #713.