git.libre-soc.org Git - yosys.git/commit

author	Clifford Wolf <clifford@clifford.at>
	Wed, 2 Oct 2019 10:48:04 +0000 (12:48 +0200)
committer	Clifford Wolf <clifford@clifford.at>
	Wed, 2 Oct 2019 10:48:04 +0000 (12:48 +0200)
commit	a84a2d74c779b8023c0bbfc02fa4576d8c4cecca
tree	84e0a75011eb44e782772c64b64ef7b470257f89	tree
parent	da347b9f7e8ce9738598931283ba98f8c98924cb	commit \| diff

Fix btor back-end to use "state" instead of "input" for undef init bits

Signed-off-by: Clifford Wolf <clifford@clifford.at>