From 550b769d39a2824b8cd1e57e5d70978d45776a7c Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Fri, 14 Mar 2014 21:04:48 -0700
Subject: Experiments with simulation.

---
 src/map/if/ifTest.c | 1 +
 1 file changed, 1 insertion(+)

(limited to 'src/map/if/ifTest.c')

diff --git a/src/map/if/ifTest.c b/src/map/if/ifTest.c
index efca2e10..2b42521c 100644
--- a/src/map/if/ifTest.c
+++ b/src/map/if/ifTest.c
@@ -239,6 +239,7 @@ void Gia_ParTestSimulate2( Gia_Man_t * p, int nWords, int nProcs )
                     assert( nCountFanins > 0 );
                     nCountFanins--;
                 }
+                ThData[i].Id = -1;
             }
             if ( Vec_IntSize(vStack) > 0 )
             {
-- 
cgit v1.2.3