diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2008-05-27 08:01:00 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2008-05-27 08:01:00 -0700 |
| commit | 9604ecb1745da3bde720cd7be5ee8f89dc6bd5ff (patch) | |
| tree | a2d15a88daf45a5e4ce8d746c414daa744c5350a /src/aig/saig/saigBmc.c | |
| parent | 5b79c7898356740c9678d5cf043d6bbc304dc7b4 (diff) | |
| download | abc-9604ecb1745da3bde720cd7be5ee8f89dc6bd5ff.tar.gz abc-9604ecb1745da3bde720cd7be5ee8f89dc6bd5ff.tar.bz2 abc-9604ecb1745da3bde720cd7be5ee8f89dc6bd5ff.zip | |
Version abc80527
Diffstat (limited to 'src/aig/saig/saigBmc.c')
| -rw-r--r-- | src/aig/saig/saigBmc.c | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/src/aig/saig/saigBmc.c b/src/aig/saig/saigBmc.c index 2d5af2d3..32b2d186 100644 --- a/src/aig/saig/saigBmc.c +++ b/src/aig/saig/saigBmc.c @@ -191,7 +191,8 @@ int Saig_ManBmcSimple( Aig_Man_t * pAig, int nFrames, int nSizeMax, int nConfLim } else pFrames = Saig_ManFramesBmc( pAig, nFrames ); - *piFrame = nFrames; + if ( piFrame ) + *piFrame = nFrames; if ( fVerbose ) { printf( "AIG: PI/PO/Reg = %d/%d/%d. Node = %6d. Lev = %5d.\n", @@ -281,7 +282,8 @@ int Saig_ManBmcSimple( Aig_Man_t * pAig, int nFrames, int nSizeMax, int nConfLim } else { - *piFrame = i / Saig_ManPoNum(pAig); + if ( piFrame ) + *piFrame = i / Saig_ManPoNum(pAig); RetValue = -1; break; } |