feat: add CI setup scripts for medusa

crytic / medusa

Parallelized, coverage-guided, mutational Solidity smart contract fuzzing, powered by go-ethereum

https://www.trailofbits.com/

GNU Affero General Public License v3.0

291 stars 37 forks source link

feat: add CI setup scripts for medusa #98

Open 0xPhaze opened 1 year ago

0xPhaze commented 1 year ago

It would be great to have a working CI setup script for medusa to run benchmarks against for solfuzzmark.

anishnaik commented 8 months ago

@0xPhaze + @damilolaedwards what is the status of this? Can I get some more context on what needs to be done to close out this issue?

0xPhaze commented 7 months ago

Ideally similar functionality to what foundry provides: https://book.getfoundry.sh/config/continuous-integration

Install Medusa
Run medusa with specific cli arguments

I know for Echidna we had one job to do both (not allowing the same flexibility with cli arguments), but that was very hard to deal with if I wanted to have multiple runs and then to evaluate the data. Ideally these steps would be separated as seen with foundry.

0xalpharush commented 4 months ago

@elopez Would you be able to help with this?

ggrieco-tob commented 1 month ago

There is an initial set of CI tests using medusa already in building secure contracts