diff options
Diffstat (limited to 'libs/ezsat/testbench.cc')
-rw-r--r-- | libs/ezsat/testbench.cc | 5 |
1 files changed, 0 insertions, 5 deletions
diff --git a/libs/ezsat/testbench.cc b/libs/ezsat/testbench.cc index cc0fe573..8283686e 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; |