From 0255934884387ca7c9343d22507c4920a8f70556 Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Tue, 25 Jun 2013 12:13:32 -0700 Subject: Improving CEC (command 'dcec') by integrating XOR balancing. --- src/proof/fra/fraCec.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'src') 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 ); } } -- cgit v1.2.3