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

author	Clifford Wolf <clifford@clifford.at>
	Wed, 7 Mar 2018 19:06:02 +0000 (20:06 +0100)
committer	Clifford Wolf <clifford@clifford.at>
	Wed, 7 Mar 2018 19:06:02 +0000 (20:06 +0100)
commit	a4bbfd2d15db25ba9b2599afa0badd8abe1273ba
tree	36a9bd2ec4b19d21f72635716943368c3ee958bd	tree
parent	92d5f4db6f1718ad13c45c5efb7f2a617bd10a47	commit \| diff

Fix Verific handling of "assert property (..);" in always block

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

frontends/verific/verific.cc		diff \| blob \| history
frontends/verific/verific.h		diff \| blob \| history
frontends/verific/verificsva.cc		diff \| blob \| history