Replicating Daedaluzz Benchmarks

[Cole Vick]

Hey, I was wondering if there are any scripts for replicating the Daedaluzz and Verismart benchmark results with. I've tried running ityfuzz on one of the Daedaluzz benchmarks, but I get the error that there is nothing to fuzz. I've also added in the Fuzzland bug() definition and put it at some of the bug locations in the Daedaluzz benchmarks, but I get the same error.

Any ideas on what to do?

Thanks

[Chaofan Shou]

running Daedaluzz shall be straightforward, you can directly use their script https://github.com/Consensys/daedaluzz/blob/master/run-campaigns.py

python3 run-campaigns.py --fuzzer-name ityfuzz

[Cole Vick]

Cool, thanks so much! Is there a similar script for running the VeriSmart benchmarks?