Scalable gate-level abstraction.

This commit is contained in:
Alan Mishchenko 2012-08-06 22:03:35 -07:00
parent 8e31b4c047
commit 173303b464
1 changed files with 1 additions and 1 deletions

View File

@ -246,7 +246,7 @@ void Ga2_ManCollectLeaves_rec( Gia_Man_t * p, Gia_Obj_t * pObj, Vec_Int_t * vLea
int Ga2_ManMarkup( Gia_Man_t * p, int N, int fSimple )
{
static unsigned uTruth5[5] = { 0xAAAAAAAA, 0xCCCCCCCC, 0xF0F0F0F0, 0xFF00FF00, 0xFFFF0000 };
clock_t clk = clock();
// clock_t clk = clock();
Vec_Int_t * vLeaves;
Gia_Obj_t * pObj;
int i, k, Leaf, CountMarks;