diff options
| author | Marcelina Kościelnicka <mwk@0x04.net> | 2021-01-28 00:31:50 +0100 |
|---|---|---|
| committer | Marcelina Kościelnicka <mwk@0x04.net> | 2021-01-29 16:28:15 +0100 |
| commit | a4c04d1b909285789cbb3b7f9d39e9020701f741 (patch) | |
| tree | 2b34e203e00ec68e4fc4f4473caa04cf6c028275 /examples/smtbmc/demo1.v | |
| parent | 708eb327a1e88f726b8d426dba35abc29339a634 (diff) | |
| download | yosys-a4c04d1b909285789cbb3b7f9d39e9020701f741.tar.gz yosys-a4c04d1b909285789cbb3b7f9d39e9020701f741.tar.bz2 yosys-a4c04d1b909285789cbb3b7f9d39e9020701f741.zip | |
ast: fix dump_vlog display of casex/casez
The first child of AST_CASE is the case expression, it's subsequent
childrean that are AST_COND* and can be used to discriminate the type of
the case.
Diffstat (limited to 'examples/smtbmc/demo1.v')
0 files changed, 0 insertions, 0 deletions