diff options
| author | Clifford Wolf <clifford@clifford.at> | 2019-05-24 16:22:34 +0200 |
|---|---|---|
| committer | Clifford Wolf <clifford@clifford.at> | 2019-05-24 16:22:34 +0200 |
| commit | b7dd7c2dcd8e3e9b10407799f2978872a80f1860 (patch) | |
| tree | 9583961de22cb4e707b140dd0ccd73849c4ba00d /tests/simple/dff_init.v | |
| parent | 67a4850e3505e97bcb01fb02a688beee89af6e76 (diff) | |
| download | yosys-b7dd7c2dcd8e3e9b10407799f2978872a80f1860.tar.gz yosys-b7dd7c2dcd8e3e9b10407799f2978872a80f1860.tar.bz2 yosys-b7dd7c2dcd8e3e9b10407799f2978872a80f1860.zip | |
Add proper error message for btor recursion_guard
Signed-off-by: Clifford Wolf <clifford@clifford.at>
Diffstat (limited to 'tests/simple/dff_init.v')
0 files changed, 0 insertions, 0 deletions