diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2011-08-20 20:29:11 +0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2011-08-20 20:29:11 +0700 |
| commit | 56035ab9ab1051f87e1186d06bd250375f9d4227 (patch) | |
| tree | a15057b597b4da9fccb58bed3a4e7faad20d8a95 /src/aig/bdc | |
| parent | 21dfaedebd842c240e770d3bcfb62e2fb4531b40 (diff) | |
| download | abc-56035ab9ab1051f87e1186d06bd250375f9d4227.tar.gz abc-56035ab9ab1051f87e1186d06bd250375f9d4227.tar.bz2 abc-56035ab9ab1051f87e1186d06bd250375f9d4227.zip | |
Making sure reconcile does not change the PO number.
Diffstat (limited to 'src/aig/bdc')
| -rw-r--r-- | src/aig/bdc/bdcSpfd.c | 11 |
1 files changed, 5 insertions, 6 deletions
diff --git a/src/aig/bdc/bdcSpfd.c b/src/aig/bdc/bdcSpfd.c index 1ffc6fc7..25790983 100644 --- a/src/aig/bdc/bdcSpfd.c +++ b/src/aig/bdc/bdcSpfd.c @@ -811,22 +811,21 @@ int Bdc_SpfdDecomposeTestOne( word t, Vec_Wrd_t * vDivs, Vec_Int_t * vWeights ) void Bdc_SpfdDecomposeTest() { // word t = 0x5052585a0002080a; - word t = 0x9ef7a8d9c7193a0f; // word t = 0x6BFDA276C7193A0F; // word t = 0xA3756AFE0B1DF60B; - int clk = clock(); -// Vec_Int_t * vWeights; -// Vec_Wrd_t * vDivs = Bdc_SpfdDecomposeTest__( &vWeights ); Vec_Int_t * vWeights; - Vec_Wrd_t * vDivs = Bdc_SpfdReadFiles( &vWeights ); - + Vec_Wrd_t * vDivs; word c0, c1, s, tt, ttt, tbest; int i, j, k, n, Cost, CostBest = 100000; + int clk = clock(); return; + // vDivs = Bdc_SpfdDecomposeTest__( &vWeights ); + vDivs = Bdc_SpfdReadFiles( &vWeights ); + Abc_Show6VarFunc( ~t, t ); /* for ( i = 0; i < 6; i++ ) |