aboutsummaryrefslogtreecommitdiffstats
path: root/libs/ezsat/testbench.cc
diff options
context:
space:
mode:
authorClifford Wolf <clifford@clifford.at>2014-03-01 20:55:06 +0100
committerClifford Wolf <clifford@clifford.at>2014-03-01 20:55:06 +0100
commitedc21460565ea75cff54cab69933da8c5e9db382 (patch)
tree66f7a6f15b45d63549bc81a73961186ba3044f64 /libs/ezsat/testbench.cc
parente3debea4e659126c538a2ff5c6a9987ca7778d89 (diff)
downloadyosys-edc21460565ea75cff54cab69933da8c5e9db382.tar.gz
yosys-edc21460565ea75cff54cab69933da8c5e9db382.tar.bz2
yosys-edc21460565ea75cff54cab69933da8c5e9db382.zip
Removed ezSAT::assumed() API
Diffstat (limited to 'libs/ezsat/testbench.cc')
-rw-r--r--libs/ezsat/testbench.cc5
1 files changed, 0 insertions, 5 deletions
diff --git a/libs/ezsat/testbench.cc b/libs/ezsat/testbench.cc
index cc0fe5734..8283686e3 100644
--- a/libs/ezsat/testbench.cc
+++ b/libs/ezsat/testbench.cc
@@ -38,11 +38,6 @@ struct xorshift128 {
bool test(ezSAT &sat, int assumption = 0)
{
- for (auto id : sat.assumed())
- printf("%s\n", sat.to_string(id).c_str());
- if (assumption)
- printf("%s\n", sat.to_string(assumption).c_str());
-
std::vector<int> modelExpressions;
std::vector<bool> modelValues;