fix segfault

1de4eafb · Miodrag Milanovic · 0b361354 · 1de4eafb
Commit 1de4eafb authored Jun 06, 2023 by Miodrag Milanovic
Hide whitespace changes
Inline Side-by-side

Showing with 1 additions and 1 deletions

src/base/io/ioWriteVerilog.c
+1 -1

No files found.
--- a/src/base/io/ioWriteVerilog.c
+++ b/src/base/io/ioWriteVerilog.c
@@ -561,7 +561,7 @@ void Io_WriteVerilogObjects( FILE * pFile, Abc_Ntk_t * pNtk, int fOnlyAnds )
        vLevels = Vec_VecAlloc( 10 );
        Abc_NtkForEachNode( pNtk, pObj, i )
        {
-            if ( Abc_ObjFaninNum(pObj) == 1 || Abc_ObjIsCo(Abc_ObjFanout0(Abc_ObjFanout0(pObj))) )
+            if ( Abc_ObjFaninNum(pObj) == 1 && Abc_ObjIsCo(Abc_ObjFanout0(Abc_ObjFanout0(pObj))) )
            {
                int iLit = Abc_Var2Lit( Abc_ObjId( Abc_ObjFanin0(Abc_ObjFanin0(pObj)) ), Abc_NodeIsInv(pObj) );
                int iObj = Vec_IntEntry( vMap, iLit );