diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2022-01-21 11:09:10 -0800 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2022-01-21 11:09:10 -0800 |
commit | 79f04c66534c1a517481a2006dcbbb8e27d1688c (patch) | |
tree | 175da1084db4b1374df2e6fdeb995cd56d5ba1c1 /src/aig/gia/giaPat2.c | |
parent | 48498af8189ef321ee876065d8947875cf711294 (diff) | |
download | abc-79f04c66534c1a517481a2006dcbbb8e27d1688c.tar.gz abc-79f04c66534c1a517481a2006dcbbb8e27d1688c.tar.bz2 abc-79f04c66534c1a517481a2006dcbbb8e27d1688c.zip |
Experiments with word-level data structures.
Diffstat (limited to 'src/aig/gia/giaPat2.c')
-rw-r--r-- | src/aig/gia/giaPat2.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/aig/gia/giaPat2.c b/src/aig/gia/giaPat2.c index f2cdfe79..fef4cf5a 100644 --- a/src/aig/gia/giaPat2.c +++ b/src/aig/gia/giaPat2.c @@ -1025,9 +1025,9 @@ Vec_Wec_t * Min_ManComputeCexes( Gia_Man_t * p, Vec_Int_t * vOuts0, int nMaxTrie if ( fVerbose ) printf( "Used simulation for %d and SAT for %d outputs (out of %d).\n", nSimOuts, nSatOuts, nOuts ); if ( fVerbose ) - Abc_PrintTime( 1, "Simulation time ", clkSim ); + Abc_PrintTime( 1, "Simulation time ", clkSim ); if ( fVerbose ) - Abc_PrintTime( 1, "SAT solving time", clkSat ); + Abc_PrintTime( 1, "SAT solving time ", clkSat ); //Vec_WecPrint( vCexes, 0 ); if ( vOuts != vOuts0 ) Vec_IntFreeP( &vOuts ); |