Experiments with simulation.

550b769d · Alan Mishchenko · 2eec6c6c · 550b769d
Commit 550b769d authored Mar 14, 2014 by Alan Mishchenko
Hide whitespace changes
Inline Side-by-side

Showing with 1 additions and 0 deletions

src/map/if/ifTest.c
+1 -0

No files found.
--- 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 )
            {