Closed hajduakos closed 4 years ago
This PR introduces separate flags to enable/disable solvers for solc-verify. See #61
This PR introduces separate flags to enable/disable solvers for solc-verify. See #61