mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-22 16:45:31 +00:00
Code Activity

fix -Wmisleading-indentation

Browse source
This commit is contained in:
Daniel Schemmel 2019-02-22 19:54:53 +01:00
parent c2ebbc9210
commit 36643aafd2
No known key found for this signature in database
GPG key ID: A176732062461ECC
1 changed files with 8 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

10
src/smt/theory_jobscheduler.cpp
View file

@ -499,7 +499,10 @@ namespace smt {
std::ostream& theory_jobscheduler::display(std::ostream & out, job_resource const& jr) const {
return out << "r:" << jr.m_resource_id << " cap:" << jr.m_capacity << " load:" << jr.m_loadpct << " end:" << jr.m_finite_capacity_end;
for (auto const& s : jr.m_properties) out << " " << s; out << "\n";
for (auto const& s : jr.m_properties) {
out << " " << s;
}
out << "\n";
}
std::ostream& theory_jobscheduler::display(std::ostream & out, job_info const& j) const {
@ -511,7 +514,10 @@ namespace smt {
std::ostream& theory_jobscheduler::display(std::ostream & out, res_available const& r) const {
return out << "[" << r.m_start << ":" << r.m_end << "] @ " << r.m_loadpct << "%";
for (auto const& s : r.m_properties) out << " " << s; out << "\n";
for (auto const& s : r.m_properties) {
out << " " << s;
}
out << "\n";
}
std::ostream& theory_jobscheduler::display(std::ostream & out, res_info const& r) const {