diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2014-11-25 21:57:34 -0800 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2014-11-25 21:57:34 -0800 |
| commit | c30a0ca0b973faf136b309600f03b32b78d0a733 (patch) | |
| tree | d0147b3ab97c5b1cd36e4a0b3da1bc255f866cdf /src/proof/int | |
| parent | ba4063acb2c9abc0046a63c698a29522a9a6731d (diff) | |
| download | abc-c30a0ca0b973faf136b309600f03b32b78d0a733.tar.gz abc-c30a0ca0b973faf136b309600f03b32b78d0a733.tar.bz2 abc-c30a0ca0b973faf136b309600f03b32b78d0a733.zip | |
Improvements to handling boxes and flops.
Diffstat (limited to 'src/proof/int')
| -rw-r--r-- | src/proof/int/intUtil.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/proof/int/intUtil.c b/src/proof/int/intUtil.c index b7e18f09..a70656c1 100644 --- a/src/proof/int/intUtil.c +++ b/src/proof/int/intUtil.c @@ -58,7 +58,7 @@ int Inter_ManCheckInitialState( Aig_Man_t * p ) return 0; } status = sat_solver_solve( pSat, NULL, NULL, (ABC_INT64_T)0, (ABC_INT64_T)0, (ABC_INT64_T)0, (ABC_INT64_T)0 ); - ABC_PRT( "Time", Abc_Clock() - clk ); + //ABC_PRT( "Time", Abc_Clock() - clk ); if ( status == l_True ) { p->pSeqModel = Abc_CexAlloc( Aig_ManRegNum(p), Saig_ManPiNum(p), 1 ); |