Skip to content

Commit

Permalink
Merge pull request #4685 from povik/aiger2-aoi3-fix
Browse files Browse the repository at this point in the history
aiger2: Fix open-coded constants
  • Loading branch information
povik authored Oct 28, 2024
2 parents d1695ad + 598f6c9 commit 92fb6e2
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion backends/aiger2/aiger.cc
Original file line number Diff line number Diff line change
Expand Up @@ -387,7 +387,7 @@ struct Index {
if (/* 4 input types */ cell->type.in(ID($_AOI4_), ID($_OAI4_)))
d = visit(cursor, cell->getPort(ID::D)[obit]);
else
d = cell->type == ID($_AOI3_) ? 1 : 0;
d = cell->type == ID($_AOI3_) ? CTRUE : CFALSE;

if (/* aoi */ cell->type.in(ID($_AOI3_), ID($_AOI4_)))
return NOT(OR(AND(a, b), AND(c, d)));
Expand Down

0 comments on commit 92fb6e2

Please sign in to comment.