From 69ffaa09129e3cdec2200f505d4d60c9e271b8d9 Mon Sep 17 00:00:00 2001
From: Jannis Harder <me@jix.one>
Date: Fri, 1 Jul 2022 16:00:05 +0200
Subject: read_cex: Allow reading cex that has extra registers

---
 src/base/io/io.c | 6 ++++++
 1 file changed, 6 insertions(+)

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:
-- 
cgit v1.2.3