Merge pull request #960 from YosysHQ/eddie/equiv_opt_undef
authorClifford Wolf <clifford@clifford.at>
Mon, 29 Apr 2019 11:54:26 +0000 (13:54 +0200)
committerGitHub <noreply@github.com>
Mon, 29 Apr 2019 11:54:26 +0000 (13:54 +0200)
commit314ff1e4ca00ef8024bbb0d2f031efd78b01f9a1
tree679497fa4a7452ac5962cf05e00d7d22ce423903
parent8fde245ea2fbc999328df410f48269b8705d121b
parent159e7cc2983e3d026fa8c5187252bb890a04b96f
Merge pull request #960 from YosysHQ/eddie/equiv_opt_undef

Add -undef option to equiv_opt, passed to equiv_induct