diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2012-07-04 14:53:07 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2012-07-04 14:53:07 -0700 |
| commit | 9ebcd9eca983890738bc76f84f4e276a9cb693d7 (patch) | |
| tree | 966c59c9020e85c857678fb1edffcc2138dce545 /src/proof/fra | |
| parent | c921058019c22ca917fb63f1139a46cb9f766ae2 (diff) | |
| download | abc-9ebcd9eca983890738bc76f84f4e276a9cb693d7.tar.gz abc-9ebcd9eca983890738bc76f84f4e276a9cb693d7.tar.bz2 abc-9ebcd9eca983890738bc76f84f4e276a9cb693d7.zip | |
Various changes to enable sensitization-based refinement in &gla.
Diffstat (limited to 'src/proof/fra')
| -rw-r--r-- | src/proof/fra/fraClaus.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/proof/fra/fraClaus.c b/src/proof/fra/fraClaus.c index 571cc510..f651b0ad 100644 --- a/src/proof/fra/fraClaus.c +++ b/src/proof/fra/fraClaus.c @@ -637,7 +637,7 @@ ABC_PRT( "Lat-cla", clock() - clk ); // generate cuts for all nodes, assign cost, and find best cuts clk = clock(); - pMemCuts = Dar_ManComputeCuts( p->pAig, 10, 1 ); + pMemCuts = Dar_ManComputeCuts( p->pAig, 10, 0, 1 ); // pManCut = Aig_ComputeCuts( p->pAig, 10, 4, 0, 1 ); if ( p->fVerbose ) { @@ -771,7 +771,7 @@ if ( p->fVerbose ) // generate cuts for all nodes, assign cost, and find best cuts clk = clock(); -// pMemCuts = Dar_ManComputeCuts( p->pAig, 10, 1 ); +// pMemCuts = Dar_ManComputeCuts( p->pAig, 10, 0, 1 ); pManCut = Aig_ComputeCuts( p->pAig, p->nCutsMax, p->nLutSize, 0, p->fVerbose ); if ( p->fVerbose ) { |