summaryrefslogtreecommitdiffstats
path: root/src/misc
diff options
context:
space:
mode:
authorAlan Mishchenko <alanmi@berkeley.edu>2014-05-29 10:39:55 -0700
committerAlan Mishchenko <alanmi@berkeley.edu>2014-05-29 10:39:55 -0700
commitccaa96549ff1d5dabbd95fdce4777a104ea9c139 (patch)
tree8481ee5a3f0c53aa03f2a65aaba1e429b14226ff /src/misc
parentbfa48cef2aab9e21f0fe9bd24a0bcfd7ce464686 (diff)
downloadabc-ccaa96549ff1d5dabbd95fdce4777a104ea9c139.tar.gz
abc-ccaa96549ff1d5dabbd95fdce4777a104ea9c139.tar.bz2
abc-ccaa96549ff1d5dabbd95fdce4777a104ea9c139.zip
Fixing the problem with 'phase -c'.
Diffstat (limited to 'src/misc')
-rw-r--r--src/misc/extra/extraUtilSupp.c2
-rw-r--r--src/misc/util/utilCex.c6
2 files changed, 4 insertions, 4 deletions
diff --git a/src/misc/extra/extraUtilSupp.c b/src/misc/extra/extraUtilSupp.c
index 3cb0296e..c42a35f6 100644
--- a/src/misc/extra/extraUtilSupp.c
+++ b/src/misc/extra/extraUtilSupp.c
@@ -648,7 +648,7 @@ void Abc_SuppReadMinTest( char * pFileName )
{
int fVerbose = 0;
abctime clk = Abc_Clock();
- word Matrix[64];
+// word Matrix[64];
int nVars, nVarsMin;
Vec_Wrd_t * vPairs, * vCubes;
vCubes = Abc_SuppReadMin( pFileName, &nVars );
diff --git a/src/misc/util/utilCex.c b/src/misc/util/utilCex.c
index 2f2901e0..08a56317 100644
--- a/src/misc/util/utilCex.c
+++ b/src/misc/util/utilCex.c
@@ -396,9 +396,9 @@ Abc_Cex_t * Abc_CexTransformPhase( Abc_Cex_t * p, int nPisOld, int nPosOld, int
assert( p->iPo < nPosNew );
pCex = Abc_CexDup( p, nRegsOld );
pCex->nPis = nPisOld;
- pCex->iPo = p->iPo % nPosOld;
- pCex->iFrame = p->iFrame * nFrames + p->iPo / nPosOld;
- pCex->nBits = pCex->nRegs + pCex->nPis * (pCex->iFrame + 1);
+ pCex->iPo = -1;
+ pCex->iFrame = (p->iFrame + 1) * nFrames - 1;
+ pCex->nBits = p->nBits;
return pCex;
}