diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2011-08-01 11:25:46 +0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2011-08-01 11:25:46 +0700 |
| commit | ab3c537072854a95c7da6e1dcc7f155c808fb837 (patch) | |
| tree | 0d5f7ac717d0689fcbb2a55e706e426352a8a61b /src/aig/cec/cecInt.h | |
| parent | 88251e97e3e7e668ebd81bcc65eb77e3cd61ac2a (diff) | |
| download | abc-ab3c537072854a95c7da6e1dcc7f155c808fb837.tar.gz abc-ab3c537072854a95c7da6e1dcc7f155c808fb837.tar.bz2 abc-ab3c537072854a95c7da6e1dcc7f155c808fb837.zip | |
Undoing previous change in 'resim' (do not initialize flops using their values in the CEX because the number of flops in the CEX can be different).
Diffstat (limited to 'src/aig/cec/cecInt.h')
0 files changed, 0 insertions, 0 deletions