diff options
Diffstat (limited to 'src/aig/bdc')
-rw-r--r-- | src/aig/bdc/bdcSpfd.c | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/src/aig/bdc/bdcSpfd.c b/src/aig/bdc/bdcSpfd.c index b9e477b0..cd94e66b 100644 --- a/src/aig/bdc/bdcSpfd.c +++ b/src/aig/bdc/bdcSpfd.c @@ -919,7 +919,9 @@ void Bdc_SpfdDecomposeTest() int i, j, k, n, Cost, CostBest = 100000; int clk = clock(); -// return; + return; + +// printf( "%d\n", RAND_MAX ); vDivs = Bdc_SpfdDecomposeTest__( &vWeights ); // vDivs = Bdc_SpfdReadFiles5( &vWeights ); |