mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-08-17 08:42:15 +00:00
Code Activity

fix test for new signature of flip

Browse source 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
This commit is contained in:
Nikolaj Bjorner 2024-10-13 15:26:08 -07:00
parent c1b9a3cc9e
commit 04824786be
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
src/test/sls_test.cpp
View file

@ -16,7 +16,7 @@ namespace bv {
vector<sat::clause_info> const& clauses() const override { return m_clauses; } vector<sat::clause_info> const& clauses() const override { return m_clauses; }
sat::clause_info const& get_clause(unsigned idx) const override { return m_clauses[idx]; } sat::clause_info const& get_clause(unsigned idx) const override { return m_clauses[idx]; }
ptr_iterator<unsigned> get_use_list(sat::literal lit) override { return ptr_iterator<unsigned>(nullptr, nullptr); } ptr_iterator<unsigned> get_use_list(sat::literal lit) override { return ptr_iterator<unsigned>(nullptr, nullptr); }
void flip(sat::bool_var v) override {} bool flip(sat::bool_var v) override { return true; }
double reward(sat::bool_var v) override { return 0; } double reward(sat::bool_var v) override { return 0; }
double get_weigth(unsigned clause_idx) override { return 0; } double get_weigth(unsigned clause_idx) override { return 0; }
bool is_true(sat::literal lit) override { return true; } bool is_true(sat::literal lit) override { return true; }