diff options
Diffstat (limited to 'kernel')
| -rw-r--r-- | kernel/satgen.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/kernel/satgen.h b/kernel/satgen.h index 05afeabf5..991853c2c 100644 --- a/kernel/satgen.h +++ b/kernel/satgen.h @@ -128,6 +128,7 @@ struct SatGen if (cell->type == "$_INV_" || cell->type == "$not") { std::vector<int> a = importSigSpec(cell->connections.at("\\A"), timestep); std::vector<int> y = importSigSpec(cell->connections.at("\\Y"), timestep); + extendSignalWidthUnary(a, y, cell); ez->assume(ez->vec_eq(ez->vec_not(a), y)); return true; } |