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:16:48 +0000 (11:16 -0700)
commit159e7cc2983e3d026fa8c5187252bb890a04b96f
treeaab15aaba82a7fcfa54aefb1b5de2154d9333749
parent408161ea3af78c747b9d45cd6482f2e4d9170085
Add -undef option to equiv_opt, passed to equiv_induct
passes/equiv/equiv_opt.cc