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/gia/giaAbsVta.c | |
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/gia/giaAbsVta.c')
0 files changed, 0 insertions, 0 deletions