diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2017-09-07 19:45:02 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2017-09-07 19:45:02 -0700 |
| commit | 7ce7e9ec310db430078b7cbec538ea2a29b6d539 (patch) | |
| tree | bde63821616afdde74da46255d1d23da3a2ae1d5 /src/sat/glucose/AbcGlucose.cpp | |
| parent | af4c76e21a28beac14886e68a5f7ce29e5e7303b (diff) | |
| download | abc-7ce7e9ec310db430078b7cbec538ea2a29b6d539.tar.gz abc-7ce7e9ec310db430078b7cbec538ea2a29b6d539.tar.bz2 abc-7ce7e9ec310db430078b7cbec538ea2a29b6d539.zip | |
Compiler warnings.
Diffstat (limited to 'src/sat/glucose/AbcGlucose.cpp')
| -rw-r--r-- | src/sat/glucose/AbcGlucose.cpp | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/sat/glucose/AbcGlucose.cpp b/src/sat/glucose/AbcGlucose.cpp index 026a792e..8e82e654 100644 --- a/src/sat/glucose/AbcGlucose.cpp +++ b/src/sat/glucose/AbcGlucose.cpp @@ -121,8 +121,8 @@ void glucose_print_stats(Solver& s, abctime clk) { double cpu_time = (double)(unsigned)clk / CLOCKS_PER_SEC; double mem_used = memUsed(); - printf("c restarts : %d (%d conflicts on average)\n", (int)s.starts, s.starts > 0 ? s.conflicts/s.starts : 0); - printf("c blocked restarts : %d (multiple: %d) \n", (int)s.nbstopsrestarts,s.nbstopsrestartssame); + printf("c restarts : %d (%d conflicts on average)\n", (int)s.starts, s.starts > 0 ? (int)(s.conflicts/s.starts) : 0); + printf("c blocked restarts : %d (multiple: %d) \n", (int)s.nbstopsrestarts, (int)s.nbstopsrestartssame); printf("c last block at restart : %d\n", (int)s.lastblockatrestart); printf("c nb ReduceDB : %-12d\n", (int)s.nbReduceDB); printf("c nb removed Clauses : %-12d\n", (int)s.nbRemovedClauses); |