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/ntl/ntlCheck.c | |
| parent | 5b79c7898356740c9678d5cf043d6bbc304dc7b4 (diff) | |
| download | abc-9604ecb1745da3bde720cd7be5ee8f89dc6bd5ff.tar.gz abc-9604ecb1745da3bde720cd7be5ee8f89dc6bd5ff.tar.bz2 abc-9604ecb1745da3bde720cd7be5ee8f89dc6bd5ff.zip | |
Version abc80527
Diffstat (limited to 'src/aig/ntl/ntlCheck.c')
| -rw-r--r-- | src/aig/ntl/ntlCheck.c | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/aig/ntl/ntlCheck.c b/src/aig/ntl/ntlCheck.c index c5c62433..d5100312 100644 --- a/src/aig/ntl/ntlCheck.c +++ b/src/aig/ntl/ntlCheck.c @@ -123,8 +123,11 @@ int Ntl_ManCheck( Ntl_Man_t * pMan ) } // check models Ntl_ManForEachModel( pMan, pMod1, i ) + { if ( !Ntl_ModelCheck( pMod1 ) ) fStatus = 0; + break; + } return fStatus; } |