diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2014-12-19 18:36:10 -0800 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2014-12-19 18:36:10 -0800 |
| commit | c1d7f29dbdc4450343408205996738e7626e5f6a (patch) | |
| tree | 6c436d15ac658defaf69ea9e0d6ce91ff96ba7de /src/map/if/ifMap.c | |
| parent | d5a952c4622c55c656e9d1d128cde32afa3c5835 (diff) | |
| download | abc-c1d7f29dbdc4450343408205996738e7626e5f6a.tar.gz abc-c1d7f29dbdc4450343408205996738e7626e5f6a.tar.bz2 abc-c1d7f29dbdc4450343408205996738e7626e5f6a.zip | |
Bug fix in 'testcex' when flop count in the CEX is different from the network (say, after seq synthesis).
Diffstat (limited to 'src/map/if/ifMap.c')
0 files changed, 0 insertions, 0 deletions