From 79aa1f00d6c00118442a240dab12d100e01fdd03 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Sun, 9 Dec 2012 08:19:00 -0800
Subject: Deriving CEX after phase/tempor/reparam.

---
 src/aig/gia/giaIso.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src')

diff --git a/src/aig/gia/giaIso.c b/src/aig/gia/giaIso.c
index 3b391529..088649ea 100644
--- a/src/aig/gia/giaIso.c
+++ b/src/aig/gia/giaIso.c
@@ -1275,7 +1275,7 @@ void Gia_IsoTest( Gia_Man_t * p, Abc_Cex_t * pCex, int fVerbose )
     assert( Gia_ManRegNum(p) > 0 );
     // generate random permutation of PIs
     vPiPerm = Gia_IsoTestGenPerm( Gia_ManPiNum(p) );
-    printf( "Considering random permutation of the AIG:\n" );
+    printf( "Considering random permutation of the primary inputs of the AIG:\n" );
     Vec_IntPrint( vPiPerm );
     // create AIG with two primary outputs (original and permuted)
     pPerm = Gia_ManDupPerm( p, vPiPerm );
-- 
cgit v1.2.3