From 508565ff7209b349ae2a917fb56c94af83063338 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Mon, 10 Mar 2014 17:22:33 -0700
Subject: Adding a warning when the current network or AIG has no POs.

---
 src/base/main/mainFrame.c | 3 +++
 1 file changed, 3 insertions(+)

(limited to 'src/base/main')

diff --git a/src/base/main/mainFrame.c b/src/base/main/mainFrame.c
index ba83dae1..fe60b7db 100644
--- a/src/base/main/mainFrame.c
+++ b/src/base/main/mainFrame.c
@@ -494,6 +494,9 @@ void Abc_FrameReplaceCurrentNetwork( Abc_Frame_t * p, Abc_Ntk_t * pNtk )
     if ( pNtk == NULL )
         return;
 
+    if ( Abc_NtkPoNum(pNtk) == 0 )
+        Abc_Print( 0, "The current network has no primary outputs. Some commands may not work correctly.\n" );
+
     // transfer the parameters to the new network
     if ( p->pNtkCur && Abc_FrameIsFlagEnabled( "backup" ) )
     {
-- 
cgit v1.2.3