diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2013-05-06 00:44:21 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2013-05-06 00:44:21 -0700 |
| commit | f321b27bb79157e9611059d9390d50beb649bbd1 (patch) | |
| tree | a527d8f96636f130d666b481ac7b8b439e00f782 /src/aig/gia | |
| parent | 05f7cd9ed206b188b6cdcf5d06de732065f898fd (diff) | |
| download | abc-f321b27bb79157e9611059d9390d50beb649bbd1.tar.gz abc-f321b27bb79157e9611059d9390d50beb649bbd1.tar.bz2 abc-f321b27bb79157e9611059d9390d50beb649bbd1.zip | |
SAT sweeping under constraints.
Diffstat (limited to 'src/aig/gia')
| -rw-r--r-- | src/aig/gia/giaUtil.c | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/aig/gia/giaUtil.c b/src/aig/gia/giaUtil.c index c0a222dd..5288bf35 100644 --- a/src/aig/gia/giaUtil.c +++ b/src/aig/gia/giaUtil.c @@ -370,6 +370,7 @@ void Gia_ManSetPhasePattern( Gia_Man_t * p, Vec_Int_t * vCiValues ) { Gia_Obj_t * pObj; int i; + assert( Gia_ManCiNum(p) == Vec_IntSize(vCiValues) ); Gia_ManForEachObj( p, pObj, i ) if ( Gia_ObjIsCi(pObj) ) pObj->fPhase = Vec_IntEntry( vCiValues, Gia_ObjCioId(pObj) ); |