From 5fec07a57edc5b307b3b3f1648ae358e3a9316c5 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Wed, 15 Jan 2025 08:38:14 -0800
Subject: [PATCH] fix unit test

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 src/test/sls_test.cpp | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/src/test/sls_test.cpp b/src/test/sls_test.cpp
index cae586d21..27fbfee12 100644
--- 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 {