Leo eb94e53d1f Add basic solc model checker options (#1258) ... * Add basic solc model checker options * Changelog entry * review 1 * chore: fmt Co-authored-by: Georgios Konstantopoulos <me@gakonst.com>		2022-05-13 13:29:13 -07:00
..
Assert.sol	Add basic solc model checker options (#1258)	2022-05-13 13:29:13 -07:00