diff options
author | Clifford Wolf <clifford@clifford.at> | 2016-07-21 13:34:33 +0200 |
---|---|---|
committer | Clifford Wolf <clifford@clifford.at> | 2016-07-21 13:34:33 +0200 |
commit | d7763634b68a735443c61aa32918ee0cdd6e9250 (patch) | |
tree | d04a1d072d727d0776c42f68668785403cc92bf5 /examples/smtbmc/Makefile | |
parent | 721f1f5ecfb6334904f6058d6d376d21b5efc438 (diff) | |
download | yosys-d7763634b68a735443c61aa32918ee0cdd6e9250.tar.gz yosys-d7763634b68a735443c61aa32918ee0cdd6e9250.tar.bz2 yosys-d7763634b68a735443c61aa32918ee0cdd6e9250.zip |
After reading the SV spec, using non-standard predict() instead of expect()
Diffstat (limited to 'examples/smtbmc/Makefile')
0 files changed, 0 insertions, 0 deletions