mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-12 12:08:18 +00:00
Code Activity

fix unit test

Browse source 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
This commit is contained in:
Nikolaj Bjorner 2025-01-15 08:38:14 -08:00
parent 878fd48819
commit 5fec07a57e
1 changed files with 2 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
src/test/sls_test.cpp
View file

@ -11,6 +11,7 @@ namespace bv {
class my_sat_solver_context : public sls::sat_solver_context { class my_sat_solver_context : public sls::sat_solver_context {
vector<sat::clause_info> m_clauses; vector<sat::clause_info> m_clauses;
indexed_uint_set s; indexed_uint_set s;
reslimit m_limit;
public: public:
my_sat_solver_context() {} my_sat_solver_context() {}
@ -31,6 +32,7 @@ namespace bv {
// void reset_statistics() override {} // void reset_statistics() override {}
void force_restart() override {} void force_restart() override {}
std::ostream& display(std::ostream& out) override { return out; } std::ostream& display(std::ostream& out) override { return out; }
reslimit& rlimit() override { return m_limit; }
}; };
class sls_test { class sls_test {