From ba5e69952dea47181040ef2c5693c8524c069679 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Fri, 18 Dec 2015 12:25:24 -1000
Subject: Corner-case bug in invariant profiling.

---
 src/base/wlc/wlcCom.c | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/src/base/wlc/wlcCom.c b/src/base/wlc/wlcCom.c
index 37fb549f..3f8cc492 100644
--- a/src/base/wlc/wlcCom.c
+++ b/src/base/wlc/wlcCom.c
@@ -412,6 +412,11 @@ int Abc_CommandPsInv( Abc_Frame_t * pAbc, int argc, char ** argv )
         Abc_Print( 1, "Abc_CommandPsInv(): There is no saved invariant.\n" );
         return 0;
     }
+    if ( Wlc_AbcGetInv(pAbc) == NULL )
+    {
+        Abc_Print( 1, "Abc_CommandPsInv(): Invariant is not available.\n" );
+        return 0;
+    }
     Wlc_NtkPrintInvStats( pNtk, Wlc_AbcGetInv(pAbc), fVerbose );
     return 0;
     usage:
-- 
cgit v1.2.3