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

Merge pull request #2148 from danielschemmel/warnings

Browse source 
Fix three Warnings
This commit is contained in:
Nikolaj Bjorner 2019-02-23 22:45:04 +01:00 committed by GitHub
parent 773c613694 36643aafd2
commit 53b5e1f824
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
2 changed files with 9 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
src/sat/sat_drat.cpp
View file

@ -83,7 +83,7 @@ namespace sat {
char digits[20]; // enough for storing unsigned
char* lastd = digits + sizeof(digits);
int len = 0;
unsigned len = 0;
if (st == status::deleted) {
buffer[0] = 'd';
buffer[1] = ' ';

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 {