diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2014-06-18 17:28:20 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2014-06-18 17:28:20 -0700 |
| commit | 9842a666e6c1d2546c940c48bbd6602a448bc01b (patch) | |
| tree | 493f1b83b6f05c9589497670e72dd5a830c7abf6 /src/bool | |
| parent | 590f74e9c1cd927108a8db2f601302eaa098993c (diff) | |
| download | abc-9842a666e6c1d2546c940c48bbd6602a448bc01b.tar.gz abc-9842a666e6c1d2546c940c48bbd6602a448bc01b.tar.bz2 abc-9842a666e6c1d2546c940c48bbd6602a448bc01b.zip | |
Experiments with CNF generation.
Diffstat (limited to 'src/bool')
| -rw-r--r-- | src/bool/rsb/rsbDec6.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/bool/rsb/rsbDec6.c b/src/bool/rsb/rsbDec6.c index 88644686..da2652ba 100644 --- a/src/bool/rsb/rsbDec6.c +++ b/src/bool/rsb/rsbDec6.c @@ -519,7 +519,7 @@ void Rsb_DecPrintFunc( Rsb_Man_t * p, unsigned Truth4, word * f, word ** ppGs, i word Copy = Truth4; word wOn = Abc_Tt6Stretch( Copy >> (1 << nVars), nVars ); word wOnDc = ~Abc_Tt6Stretch( Copy, nVars ); - word wIsop = Abc_Tt6Isop( wOn, wOnDc, nVars ); + word wIsop = Abc_Tt6Isop( wOn, wOnDc, nVars, NULL ); int i; printf( "Offset : " ); |