diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2013-08-16 13:13:38 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2013-08-16 13:13:38 -0700 |
| commit | 3459683e3b5ee9bb3f155fff3bf1041c840266c4 (patch) | |
| tree | 67500383a384eaea0120d138eac28e69b0b6646e /src/map/mpm/mpmPre.c | |
| parent | 7013e0b672a881a979ef05f504ba3b2fb3dfdaf4 (diff) | |
| download | abc-3459683e3b5ee9bb3f155fff3bf1041c840266c4.tar.gz abc-3459683e3b5ee9bb3f155fff3bf1041c840266c4.tar.bz2 abc-3459683e3b5ee9bb3f155fff3bf1041c840266c4.zip | |
Extending 'permute' to handle user-specified flop permutation.
Diffstat (limited to 'src/map/mpm/mpmPre.c')
| -rw-r--r-- | src/map/mpm/mpmPre.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/map/mpm/mpmPre.c b/src/map/mpm/mpmPre.c index f3a4bb08..a1462342 100644 --- a/src/map/mpm/mpmPre.c +++ b/src/map/mpm/mpmPre.c @@ -894,7 +894,7 @@ void Ifd_ComputeSignature( word uTruth, int pCounts[6] ) } Vec_IntSelectSort( pCounts, 6 ); } -int Ifd_ManDsdTest() +int Ifd_ManDsdTest33() { int nVars = 6; Vec_Wrd_t * vTruths = Ifd_ManDsdTruths( nVars ); @@ -926,7 +926,7 @@ int Ifd_ManDsdTest() SeeAlso [] ***********************************************************************/ -int Ifd_ManDsdTest33() +int Ifd_ManDsdTest() { int nVars = 6; FILE * pFile; |