GitHub repository: Diffblue-benchmarks/Eth-sri-soltix
Primary language: Java
Description: SOLTIX: Scalable automated framework for testing Solidity compilers.