diff options
| author | Jannis Harder <me@jix.one> | 2022-07-01 16:21:56 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-07-01 16:21:56 +0200 |
| commit | 18634305282c81b0f4a08de4ebca6ccc95b11748 (patch) | |
| tree | 5529eee8e4b70d6c1cf9923a0fe0fa729810b75f | |
| parent | 09a7e6dac739133a927ae7064d319068ab927f90 (diff) | |
| parent | 69ffaa09129e3cdec2200f505d4d60c9e271b8d9 (diff) | |
| download | abc-18634305282c81b0f4a08de4ebca6ccc95b11748.tar.gz abc-18634305282c81b0f4a08de4ebca6ccc95b11748.tar.bz2 abc-18634305282c81b0f4a08de4ebca6ccc95b11748.zip | |
Merge pull request #16 from jix/read_cex_chagnes
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: |