diff options
| -rw-r--r-- | src/base/io/io.c | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/src/base/io/io.c b/src/base/io/io.c index a55a3064..5408ccba 100644 --- a/src/base/io/io.c +++ b/src/base/io/io.c @@ -777,6 +777,12 @@ int Abc_NtkReadCexFile( char * pFileName, Abc_Ntk_t * pNtk, Abc_Cex_t ** ppCex, } nRegs = Vec_IntSize(vNums); } + else if ( nRegs > nRegsNtk ) + { + printf( "WARNING: Register number is larger then in Ntk. Truncating.\n" ); + Vec_IntShrink( vNums, nRegsNtk ); + nRegs = nRegsNtk; + } state = 3; break; default: |