summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rw-r--r--src/base/io/io.c6
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: