From 88251e97e3e7e668ebd81bcc65eb77e3cd61ac2a Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Mon, 1 Aug 2011 11:24:02 +0700
Subject: Minor bug fix in 'testcex' (made it consider outputs in direct
 order).

---
 src/aig/gia/giaUtil.c | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

(limited to 'src')

diff --git a/src/aig/gia/giaUtil.c b/src/aig/gia/giaUtil.c
index d94a0412..b9a50220 100644
--- a/src/aig/gia/giaUtil.c
+++ b/src/aig/gia/giaUtil.c
@@ -1211,7 +1211,8 @@ int Gia_ManFindFailedPoCex( Gia_Man_t * pAig, Abc_Cex_t * p, int nOutputs )
     assert( iBit == p->nBits );
     // figure out the number of failed output
     RetValue = -1;
-    for ( i = Gia_ManPoNum(pAig) - 1; i >= nOutputs; i-- )
+//    for ( i = Gia_ManPoNum(pAig) - 1; i >= nOutputs; i-- )
+    for ( i = nOutputs; i < Gia_ManPoNum(pAig); i++ )
     {
         if ( Gia_ManPo(pAig, i)->fMark0 )
         {
-- 
cgit v1.2.3