diff options
| author | Clifford Wolf <clifford@clifford.at> | 2014-02-23 01:35:59 +0100 |
|---|---|---|
| committer | Clifford Wolf <clifford@clifford.at> | 2014-02-23 01:35:59 +0100 |
| commit | dab1612f81212d1bc1c07ee77b265167861ec883 (patch) | |
| tree | 2baf983b4b6ee965ceeac4d3038c05b064c4fe9c /kernel | |
| parent | b76528d8a557dc324b1dfaa366e2b620795f582d (diff) | |
| download | yosys-dab1612f81212d1bc1c07ee77b265167861ec883.tar.gz yosys-dab1612f81212d1bc1c07ee77b265167861ec883.tar.bz2 yosys-dab1612f81212d1bc1c07ee77b265167861ec883.zip | |
Added support for Minisat::SimpSolver + ezSAT frezze() API
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 840700cbd..539210442 100644 --- a/kernel/satgen.h +++ b/kernel/satgen.h @@ -72,6 +72,7 @@ struct SatGen } else { std::string name = pf + stringf(c.wire->width == 1 ? "%s" : "%s [%d]", RTLIL::id2cstr(c.wire->name), c.offset); vec.push_back(ez->literal(name)); + ez->freeze(vec.back()); } return vec; } |