update test file

Signed-off-by: Nikolaj Bjorner <[email protected]>
Z3Prover · Jan 3, 2025 · 1131d8d · 1131d8d
1 parent e9c6567
commit 1131d8d
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/src/test/sls_test.cpp b/src/test/sls_test.cpp
@@ -21,6 +21,7 @@ namespace bv {
         double reward(sat::bool_var v) override { return 0; }
         double get_weigth(unsigned clause_idx) override { return 0; }
         bool is_true(sat::literal lit) override { return true; }
+        bool try_rotate(sat::bool_var v, sat::bool_var_vector& rotated, unsigned& bound) { return false; }
         unsigned num_vars() const override { return 0; }
         indexed_uint_set const& unsat() const override { return s; }
         void on_model(model_ref& mdl) override {}