diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2013-06-25 12:13:32 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2013-06-25 12:13:32 -0700 |
| commit | 0255934884387ca7c9343d22507c4920a8f70556 (patch) | |
| tree | b54111bd3d008ca07fbd83f24c108e5621884746 /src/proof/fra | |
| parent | 94b26fe5a21199ddbd5c564331e7ee2848c8d498 (diff) | |
| download | abc-0255934884387ca7c9343d22507c4920a8f70556.tar.gz abc-0255934884387ca7c9343d22507c4920a8f70556.tar.bz2 abc-0255934884387ca7c9343d22507c4920a8f70556.zip | |
Improving CEC (command 'dcec') by integrating XOR balancing.
Diffstat (limited to 'src/proof/fra')
| -rw-r--r-- | src/proof/fra/fraCec.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/proof/fra/fraCec.c b/src/proof/fra/fraCec.c index aa95b992..3e51bf1e 100644 --- a/src/proof/fra/fraCec.c +++ b/src/proof/fra/fraCec.c @@ -416,7 +416,7 @@ clk = Abc_Clock(); RetValue = Fra_FraigSat( pAig, (ABC_INT64_T)nBTLimitLast, (ABC_INT64_T)0, 0, 0, 0, 1, 0, 0, 0 ); if ( fVerbose ) { - printf( "Final SAT: Nodes = %6d. ", Aig_ManNodeNum(pAig) ); + printf( "Final SAT: Nodes = %6d. ", Aig_ManNodeNum(pAig) ); ABC_PRT( "Time", Abc_Clock() - clk ); } } |