mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2026-03-10 23:30:31 +00:00
Code Activity

Rename dummy_simple_solver to zipt_dummy_simple_solver

Browse source
This commit is contained in:
Nikolaj Bjorner 2026-03-10 15:49:24 -07:00 • committed by GitHub
parent 0efb7402e8
commit 3a71f28c6c
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
1 changed files with 2 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

4
src/test/nseq_zipt.cpp
View file

@ -33,7 +33,7 @@ Abstract:
// Trivial simple_solver stub: optimistically assumes integer constraints
// are always feasible (returns l_true without actually checking).
// -----------------------------------------------------------------------
class dummy_simple_solver : public seq::simple_solver {
class zipt_dummy_simple_solver : public seq::simple_solver {
public:
void push() override {}
void pop(unsigned) override {}
@ -171,7 +171,7 @@ struct nseq_fixture {
ast_manager m;
euf::egraph eg;
euf::sgraph sg;
dummy_simple_solver dummy_solver;
zipt_dummy_simple_solver dummy_solver;
seq::nielsen_graph ng;
seq_util su;
str_builder sb;