SOLTIX: Scalable automated framework for testing Solidity compilers. - View it on GitHub