diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2015-09-01 12:02:44 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2015-09-01 12:02:44 -0700 |
| commit | af828a499da1f3357f8b170c9be12f4695190750 (patch) | |
| tree | 3c02bcc80eecccae63c0677511819e670828c404 /src/sat | |
| parent | 1a3c75bb049356d1ae09a71f9212fef5bda5b552 (diff) | |
| download | abc-af828a499da1f3357f8b170c9be12f4695190750.tar.gz abc-af828a499da1f3357f8b170c9be12f4695190750.tar.bz2 abc-af828a499da1f3357f8b170c9be12f4695190750.zip | |
Removing unhelpful assertion in CEX minimization.
Diffstat (limited to 'src/sat')
| -rw-r--r-- | src/sat/bmc/bmcCexTools.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/sat/bmc/bmcCexTools.c b/src/sat/bmc/bmcCexTools.c index 8e2e270f..1c0d798c 100644 --- a/src/sat/bmc/bmcCexTools.c +++ b/src/sat/bmc/bmcCexTools.c @@ -347,7 +347,7 @@ int Bmc_CexVerify( Gia_Man_t * p, Abc_Cex_t * pCex, Abc_Cex_t * pCexCare ) { Gia_Obj_t * pObj; int i, k; - assert( pCex->nRegs > 0 ); +// assert( pCex->nRegs > 0 ); // assert( pCexCare->nRegs == 0 ); Gia_ObjTerSimSet0( Gia_ManConst0(p) ); Gia_ManForEachRi( p, pObj, k ) |