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

spaces

Browse source 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
This commit is contained in:
Nikolaj Bjorner 2019-02-23 22:45:39 +01:00
parent 53b5e1f824
commit 142f3638cf
1 changed files with 6 additions and 6 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

12
src/smt/theory_jobscheduler.cpp
View file

@ -500,9 +500,9 @@ 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";
out << " " << s;
}
out << "\n";
}
std::ostream& theory_jobscheduler::display(std::ostream & out, job_info const& j) const {
@ -515,9 +515,9 @@ 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";
out << " " << s;
}
out << "\n";
}
std::ostream& theory_jobscheduler::display(std::ostream & out, res_info const& r) const {