From cfc4448be462132821a4944989209db65aec8be6 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Wed, 21 Aug 2024 22:32:58 -0700 Subject: [PATCH] update sls_test Signed-off-by: Nikolaj Bjorner --- src/test/sls_test.cpp | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) diff --git a/src/test/sls_test.cpp b/src/test/sls_test.cpp index ff530aa4f..756df1110 100644 --- a/src/test/sls_test.cpp +++ b/src/test/sls_test.cpp @@ -25,8 +25,10 @@ namespace bv { void on_model(model_ref& mdl) override {} sat::bool_var add_var() override { return sat::null_bool_var;} void add_clause(unsigned n, sat::literal const* lits) override {} - void collect_statistics(statistics& st) override {} - void reset_statistics() override {} + // void collect_statistics(statistics& st) const override {} + // void reset_statistics() override {} + void force_restart() override {} + std::ostream& display(std::ostream& out) override { return out; } }; class sls_test {