diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2017-02-03 17:32:44 -0800 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2017-02-03 17:32:44 -0800 |
| commit | a2cebd3e205751bf6e01d509c9568926069b6ab5 (patch) | |
| tree | b8be768e0e9fc992c17d57d9a358a222326286fc /src/proof/pdr/pdrSat.c | |
| parent | 6d088bc440fb6b7a5b3eb2c9ea7b9950a1698166 (diff) | |
| download | abc-a2cebd3e205751bf6e01d509c9568926069b6ab5.tar.gz abc-a2cebd3e205751bf6e01d509c9568926069b6ab5.tar.bz2 abc-a2cebd3e205751bf6e01d509c9568926069b6ab5.zip | |
Removing dead code in 'pdr'.
Diffstat (limited to 'src/proof/pdr/pdrSat.c')
| -rw-r--r-- | src/proof/pdr/pdrSat.c | 18 |
1 files changed, 0 insertions, 18 deletions
diff --git a/src/proof/pdr/pdrSat.c b/src/proof/pdr/pdrSat.c index 49b0448a..936a8f90 100644 --- a/src/proof/pdr/pdrSat.c +++ b/src/proof/pdr/pdrSat.c @@ -342,24 +342,6 @@ int Pdr_ManCheckCube( Pdr_Man_t * p, int k, Pdr_Set_t * pCube, Pdr_Set_t ** ppPr else return -1; } -/* - if ( RetValue == l_True ) - { - int RetValue2 = Pdr_ManCubeJust( p, k, pCube ); - if ( RetValue2 ) - p->nCasesSS++; - else - p->nCasesSU++; - } - else - { - int RetValue2 = Pdr_ManCubeJust( p, k, pCube ); - if ( RetValue2 ) - p->nCasesUS++; - else - p->nCasesUU++; - } -*/ } clk = Abc_Clock() - clk; p->tSat += clk; |