Closed enzoevers closed 1 year ago
It has been verified with the example project that this works for SMTChecker, Mythril, Slither, and KEVM on an M1.
It has been verified with the example project that this works for SMTChecker, Mythril, Slither, and KEVM on an M1.