diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2008-05-02 08:01:00 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2008-05-02 08:01:00 -0700 |
| commit | 436d5d2103b2cfec6a6deb5bbba72ce8e820f785 (patch) | |
| tree | 0bb7be2716b4758b3f883b9a9f1b76aae00c7ab0 /src/aig/ntl/ntlEc.c | |
| parent | de81a1a1fb5d2cfff636a237a0a7008dcf196bcd (diff) | |
| download | abc-436d5d2103b2cfec6a6deb5bbba72ce8e820f785.tar.gz abc-436d5d2103b2cfec6a6deb5bbba72ce8e820f785.tar.bz2 abc-436d5d2103b2cfec6a6deb5bbba72ce8e820f785.zip | |
Version abc80502
Diffstat (limited to 'src/aig/ntl/ntlEc.c')
| -rw-r--r-- | src/aig/ntl/ntlEc.c | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/src/aig/ntl/ntlEc.c b/src/aig/ntl/ntlEc.c index 0cd75cbc..8c7f7156 100644 --- a/src/aig/ntl/ntlEc.c +++ b/src/aig/ntl/ntlEc.c @@ -226,6 +226,13 @@ void Ntl_ManPrepareCec( char * pFileName1, char * pFileName2, Aig_Man_t ** ppMan } // normalize inputs/outputs Ntl_ManCreateMissingInputs( pModel1, pModel2, 0 ); + if ( Ntl_ModelCiNum(pModel1) != Ntl_ModelCiNum(pModel2) ) + { + if ( pMan1 ) Ntl_ManFree( pMan1 ); + if ( pMan2 ) Ntl_ManFree( pMan2 ); + printf( "Ntl_ManPrepareCec(): Cannot verify designs with too many different CIs.\n" ); + return; + } Ntl_ManDeriveCommonCis( pMan1, pMan2, 0 ); Ntl_ManDeriveCommonCos( pMan1, pMan2, 0 ); if ( Vec_PtrSize(pMan1->vCos) == 0 ) |