diff options
| author | Claire Xenia Wolf <claire@clairexen.net> | 2021-05-04 19:02:37 +0200 |
|---|---|---|
| committer | Jannis Harder <me@jix.one> | 2022-10-07 16:04:51 +0200 |
| commit | 051630763741914c3ba3bdf25ea091395dbc00b4 (patch) | |
| tree | 889c069162786419ff57177fe297fc0065eeaf8c /tests/techmap/bug2759.ys | |
| parent | f0478c520dd87f463a7fd8aee741273a85f3b1d4 (diff) | |
| download | yosys-051630763741914c3ba3bdf25ea091395dbc00b4.tar.gz yosys-051630763741914c3ba3bdf25ea091395dbc00b4.tar.bz2 yosys-051630763741914c3ba3bdf25ea091395dbc00b4.zip | |
Add "check -assert" to equiv_opt
Signed-off-by: Claire Xenia Wolf <claire@clairexen.net>
Diffstat (limited to 'tests/techmap/bug2759.ys')
0 files changed, 0 insertions, 0 deletions