diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2020-01-23 19:47:49 -0800 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2020-01-23 19:47:49 -0800 |
| commit | 62c4c8b243281decc1be6cefe1697820cca0b1cf (patch) | |
| tree | 2da204c6c5f943415b007617762ba699688e8872 /src/proof/dch/dchSim.c | |
| parent | afebb18041e7bb47671c0cde5d0cd11822087463 (diff) | |
| download | abc-62c4c8b243281decc1be6cefe1697820cca0b1cf.tar.gz abc-62c4c8b243281decc1be6cefe1697820cca0b1cf.tar.bz2 abc-62c4c8b243281decc1be6cefe1697820cca0b1cf.zip | |
Adding a warning in retiming when no node delays are given.
Diffstat (limited to 'src/proof/dch/dchSim.c')
0 files changed, 0 insertions, 0 deletions