diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2014-03-29 22:14:15 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2014-03-29 22:14:15 -0700 |
| commit | 7d500c8920c87bb04731960e065d2b8f7748050b (patch) | |
| tree | 4a81a96ac7ce6bf7fa4995c55d8528b3db5db3b8 /src/sat/bmc/bmcBmc3.c | |
| parent | ba4ed5b16c0d7981b7e27eec66aaf9a79a889d48 (diff) | |
| download | abc-7d500c8920c87bb04731960e065d2b8f7748050b.tar.gz abc-7d500c8920c87bb04731960e065d2b8f7748050b.tar.bz2 abc-7d500c8920c87bb04731960e065d2b8f7748050b.zip | |
Updating &if for new cut function representation.
Diffstat (limited to 'src/sat/bmc/bmcBmc3.c')
| -rw-r--r-- | src/sat/bmc/bmcBmc3.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/sat/bmc/bmcBmc3.c b/src/sat/bmc/bmcBmc3.c index 90706f6f..3a84e496 100644 --- a/src/sat/bmc/bmcBmc3.c +++ b/src/sat/bmc/bmcBmc3.c @@ -1555,7 +1555,7 @@ clk2 = Abc_Clock(); status = Saig_ManCallSolver( p, Lit ); clkSatRun = Abc_Clock() - clk2; if ( pLogFile ) - fprintf( pLogFile, "Frame %5d Output %5d Time(ms) %8d\n", f, i, Lit < 2 ? 0 : clkSatRun ); + fprintf( pLogFile, "Frame %5d Output %5d Time(ms) %8d\n", f, i, Lit < 2 ? 0 : (int)clkSatRun ); if ( p->pTime4Outs ) { abctime timeSince = Abc_Clock() - clkOne; |