GitHub repository: Consensys/daedaluzz
Primary language: Solidity
Description: Benchmark Generator for Smart-Contract Fuzzers