Add -undef option to equiv_opt, passed to equiv_induct
authorEddie Hung <eddie@fpgeh.com>
Fri, 26 Apr 2019 18:14:33 +0000 (11:14 -0700)
committerEddie Hung <eddie@fpgeh.com>
Fri, 26 Apr 2019 18:14:33 +0000 (11:14 -0700)
commit4473fd15020cc186fde71eadc2325f69c92ae7ac
tree0a7661aa855c32efdada79308de67447461a6b59
parent976d8030dce8cd242401933ac8ea6c8ffe8af224
Add -undef option to equiv_opt, passed to equiv_induct
passes/equiv/equiv_opt.cc