mirror of
https://github.com/Z3Prover/z3
synced 2025-04-08 10:25:18 +00:00
std::cout -> out
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
This commit is contained in:
parent
a85a612bae
commit
a9e6d83c6e
|
@ -146,6 +146,8 @@ public:
|
|||
|
||||
lbool check_sat(app_ref_vector const& asms) { return check_sat(asms.size(), (expr* const*)asms.c_ptr()); }
|
||||
|
||||
lbool check_sat() { return check_sat(0, nullptr); }
|
||||
|
||||
/**
|
||||
\brief Check satisfiability modulo a cube and a clause.
|
||||
|
||||
|
|
|
@ -520,7 +520,7 @@ public:
|
|||
try {
|
||||
symbol m, p;
|
||||
normalize(name, m, p);
|
||||
std::cout << name << " " << m << " " << p << "\n";
|
||||
out << name << " " << m << " " << p << "\n";
|
||||
param_descrs * d;
|
||||
if (m == symbol::null) {
|
||||
d = &get_param_descrs();
|
||||
|
|
Loading…
Reference in a new issue