fix unit test

Signed-off-by: Nikolaj Bjorner <[email protected]>
Z3Prover · Jan 15, 2025 · 5fec07a · 5fec07a
1 parent 878fd48
commit 5fec07a
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/src/test/sls_test.cpp b/src/test/sls_test.cpp
@@ -11,6 +11,7 @@ namespace bv {
     class my_sat_solver_context : public sls::sat_solver_context {
         vector<sat::clause_info> m_clauses;
         indexed_uint_set s;
+        reslimit m_limit;
     public:
         my_sat_solver_context() {}
 
@@ -31,6 +32,7 @@ namespace bv {
         // void reset_statistics() override {}
         void force_restart() override {}
         std::ostream& display(std::ostream& out)  override { return out; }
+        reslimit& rlimit() override { return m_limit; }
     };
 
     class sls_test {