diff options
| author | Clifford Wolf <clifford@clifford.at> | 2016-10-18 10:54:53 +0200 |
|---|---|---|
| committer | Clifford Wolf <clifford@clifford.at> | 2016-10-18 10:54:53 +0200 |
| commit | 281a977b39ec832b5ad4d84027dc98a6e8f99d7c (patch) | |
| tree | 202556430fb041afadc880e70823337e3afa258f /passes/fsm | |
| parent | 9e980a2bb0c0595a4310c4c450b9a2c28c6ad9ed (diff) | |
| download | yosys-281a977b39ec832b5ad4d84027dc98a6e8f99d7c.tar.gz yosys-281a977b39ec832b5ad4d84027dc98a6e8f99d7c.tar.bz2 yosys-281a977b39ec832b5ad4d84027dc98a6e8f99d7c.zip | |
Ignore L_pi nets in "yosys-smtbmc --cex"
Diffstat (limited to 'passes/fsm')
0 files changed, 0 insertions, 0 deletions