diff options
| author | Jannis Harder <me@jix.one> | 2022-07-01 16:00:05 +0200 |
|---|---|---|
| committer | Jannis Harder <me@jix.one> | 2022-07-01 16:00:05 +0200 |
| commit | 69ffaa09129e3cdec2200f505d4d60c9e271b8d9 (patch) | |
| tree | 5529eee8e4b70d6c1cf9923a0fe0fa729810b75f | |
| parent | 09a7e6dac739133a927ae7064d319068ab927f90 (diff) | |
| download | abc-69ffaa09129e3cdec2200f505d4d60c9e271b8d9.tar.gz abc-69ffaa09129e3cdec2200f505d4d60c9e271b8d9.tar.bz2 abc-69ffaa09129e3cdec2200f505d4d60c9e271b8d9.zip | |
read_cex: Allow reading cex that has extra registers
| -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: |