diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2012-01-07 11:19:03 +0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2012-01-07 11:19:03 +0700 |
| commit | 376bf3a70392d683322a3bb74a3f5f623848b8e5 (patch) | |
| tree | beb7f9b8cc9eb49245461cad8045e4b00bfad5da /src/aig | |
| parent | 10ad89490a6596dc51e27b6d7ebd0f2f0c606ed8 (diff) | |
| download | abc-376bf3a70392d683322a3bb74a3f5f623848b8e5.tar.gz abc-376bf3a70392d683322a3bb74a3f5f623848b8e5.tar.bz2 abc-376bf3a70392d683322a3bb74a3f5f623848b8e5.zip | |
Bug fix: changing output number to 0 in the CEX after ORing POs.
Diffstat (limited to 'src/aig')
0 files changed, 0 insertions, 0 deletions