Merge pull request #16 from jix/read_cex_chagnes

read_cex: Allow reading cex that has extra registers

Merge pull request #16 from jix/read_cex_chagnes
read_cex: Allow reading cex that has extra registers
18634305 · Jannis Harder · GitHub · 09a7e6da · 69ffaa09 · 18634305
Unverified Commit 18634305 authored Jul 01, 2022 by Jannis Harder Committed by GitHub Jul 01, 2022
Hide whitespace changes
Inline Side-by-side

Showing with 6 additions and 0 deletions

src/base/io/io.c
+6 -0

No files found.
--- 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: