diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2008-09-15 08:01:00 -0700 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2008-09-15 08:01:00 -0700 |
commit | ce690b29075a23a07673d0a4727f0bf9557ec882 (patch) | |
tree | fdab300adb91c9105456dbde70ab6fc3ba74ce22 /src/aig/fra/fraLcr.c | |
parent | 75d6d6abd1ccbfeb2ac6e156a015d9888a5727e7 (diff) | |
download | abc-ce690b29075a23a07673d0a4727f0bf9557ec882.tar.gz abc-ce690b29075a23a07673d0a4727f0bf9557ec882.tar.bz2 abc-ce690b29075a23a07673d0a4727f0bf9557ec882.zip |
Version abc80915
Diffstat (limited to 'src/aig/fra/fraLcr.c')
-rw-r--r-- | src/aig/fra/fraLcr.c | 9 |
1 files changed, 8 insertions, 1 deletions
diff --git a/src/aig/fra/fraLcr.c b/src/aig/fra/fraLcr.c index 4b2383aa..f597e090 100644 --- a/src/aig/fra/fraLcr.c +++ b/src/aig/fra/fraLcr.c @@ -612,6 +612,7 @@ p->timePart += clock() - clk2; Vec_PtrClear( p->vFraigs ); Vec_PtrForEachEntry( p->vParts, vPart, i ) { + int clk3 = clock(); if ( TimeLimit != 0.0 && clock() > TimeToStop ) { Vec_PtrForEachEntry( p->vFraigs, pAigPart, i ) @@ -628,9 +629,15 @@ clk2 = clock(); pAigTemp = Fra_FraigEquivence( pAigPart, nConfMax, 0 ); p->timeFraig += clock() - clk2; Vec_PtrPush( p->vFraigs, pAigTemp ); + { + char Name[1000]; + sprintf( Name, "part%04d.blif", i ); + Aig_ManDumpBlif( pAigPart, Name, NULL, NULL ); + } Aig_ManStop( pAigPart ); -//intf( "finished part %d (out of %d)\n", i, Vec_PtrSize(p->vParts) ); +printf( "Finished part %4d (out of %4d). ", i, Vec_PtrSize(p->vParts) ); +PRT( "Time", clock() - clk3 ); } Fra_ClassNodesUnmark( p ); |