From b3514ee7e000972ecb43603eb08bf56368c0d634 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Wed, 30 Nov 2016 12:07:08 -0800
Subject: Commenting out bailout in 'print_cex' when CEX has latches
 initialized to 1.

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

(limited to 'src/base/io/io.c')

diff --git a/src/base/io/io.c b/src/base/io/io.c
index b181bc1d..093eccca 100644
--- a/src/base/io/io.c
+++ b/src/base/io/io.c
@@ -2378,6 +2378,7 @@ int IoCommandWriteCex( Abc_Frame_t * pAbc, int argc, char **argv )
         Abc_Obj_t * pObj;
         FILE * pFile;
         int i, f;
+        /*
         Abc_NtkForEachLatch( pNtk, pObj, i )
             if ( !Abc_LatchIsInit0(pObj) )
             {
@@ -2385,7 +2386,7 @@ int IoCommandWriteCex( Abc_Frame_t * pAbc, int argc, char **argv )
                 fprintf( stdout, "Run commands \"undc\" and \"zero\" and then rerun the equivalence check.\n" );
                 return 1;
             }
-
+        */
         pFile = fopen( pFileName, "w" );
         if ( pFile == NULL )
         {
-- 
cgit v1.2.3