summaryrefslogtreecommitdiff
path: root/kernel
diff options
context:
space:
mode:
authorClifford Wolf <clifford@clifford.at>2014-02-23 01:35:59 +0100
committerClifford Wolf <clifford@clifford.at>2014-02-23 01:35:59 +0100
commitdab1612f81212d1bc1c07ee77b265167861ec883 (patch)
tree2baf983b4b6ee965ceeac4d3038c05b064c4fe9c /kernel
parentb76528d8a557dc324b1dfaa366e2b620795f582d (diff)
Added support for Minisat::SimpSolver + ezSAT frezze() API
Diffstat (limited to 'kernel')
-rw-r--r--kernel/satgen.h1
1 files changed, 1 insertions, 0 deletions
diff --git a/kernel/satgen.h b/kernel/satgen.h
index 840700cb..53921044 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;
}