diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2013-11-01 13:25:19 -0400 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2013-11-01 13:25:19 -0400 |
commit | a509fa8ea89cc6374c7a13e7632cb51bc455ce43 (patch) | |
tree | aaa4fff72e352cf892f22c66d717a35471bd142f /src/aig/gia/giaSweeper.c | |
parent | ea1a2cfdaba5729eb9624bbc54b869784860f9f0 (diff) | |
download | abc-a509fa8ea89cc6374c7a13e7632cb51bc455ce43.tar.gz abc-a509fa8ea89cc6374c7a13e7632cb51bc455ce43.tar.bz2 abc-a509fa8ea89cc6374c7a13e7632cb51bc455ce43.zip |
Sweeper internal verification.
Diffstat (limited to 'src/aig/gia/giaSweeper.c')
-rw-r--r-- | src/aig/gia/giaSweeper.c | 21 |
1 files changed, 0 insertions, 21 deletions
diff --git a/src/aig/gia/giaSweeper.c b/src/aig/gia/giaSweeper.c index 2da162d1..3c91c467 100644 --- a/src/aig/gia/giaSweeper.c +++ b/src/aig/gia/giaSweeper.c @@ -969,27 +969,6 @@ Vec_Int_t * Gia_SweeperGraft( Gia_Man_t * pDst, Vec_Int_t * vProbes, Gia_Man_t * /**Function************************************************************* - Synopsis [Verification of the sweeper.] - - Description [] - - SideEffects [] - - SeeAlso [] - -***********************************************************************/ -int Gia_SweeperVerify( Gia_Man_t * p0, Gia_Man_t * p1, Gia_Man_t * pC ) -{ - Gia_Man_t * pMiter = Gia_ManMiter( p0, p1, 0, 0, 0, 0, 0 ); - Gia_Man_t * pConstr = Gia_ManDupAnd( pC, 0 ); - - Gia_ManStop( pConstr ); - Gia_ManStop( pMiter ); - return 1; -} - -/**Function************************************************************* - Synopsis [Performs conditional sweeping of the cone.] Description [Returns the result as a new GIA manager with as many inputs |