diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2014-03-14 21:04:48 -0700 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2014-03-14 21:04:48 -0700 |
commit | 550b769d39a2824b8cd1e57e5d70978d45776a7c (patch) | |
tree | 69d102aec89c52ea7ffc023a059e6e366565b078 | |
parent | 2eec6c6c1714f4c5c39514828c8217ebcd04b498 (diff) | |
download | abc-550b769d39a2824b8cd1e57e5d70978d45776a7c.tar.gz abc-550b769d39a2824b8cd1e57e5d70978d45776a7c.tar.bz2 abc-550b769d39a2824b8cd1e57e5d70978d45776a7c.zip |
Experiments with simulation.
-rw-r--r-- | src/map/if/ifTest.c | 1 |
1 files changed, 1 insertions, 0 deletions
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 ) { |