diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2011-08-20 20:29:11 +0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2011-08-20 20:29:11 +0700 |
| commit | 56035ab9ab1051f87e1186d06bd250375f9d4227 (patch) | |
| tree | a15057b597b4da9fccb58bed3a4e7faad20d8a95 /src/aig/bdc/bdc_.c | |
| parent | 21dfaedebd842c240e770d3bcfb62e2fb4531b40 (diff) | |
| download | abc-56035ab9ab1051f87e1186d06bd250375f9d4227.tar.gz abc-56035ab9ab1051f87e1186d06bd250375f9d4227.tar.bz2 abc-56035ab9ab1051f87e1186d06bd250375f9d4227.zip | |
Making sure reconcile does not change the PO number.
Diffstat (limited to 'src/aig/bdc/bdc_.c')
0 files changed, 0 insertions, 0 deletions