diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2007-03-13 08:01:00 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2007-03-13 08:01:00 -0700 |
| commit | 2696cf05e568f7a928f32b01534d106bf626ef8a (patch) | |
| tree | c795e6a7c53151faa830a55bfdc082dc67d98e4e /src/base/abci/abcResub.c | |
| parent | 93c05287f0d8b044e620b41608df906bbad39db5 (diff) | |
| download | abc-2696cf05e568f7a928f32b01534d106bf626ef8a.tar.gz abc-2696cf05e568f7a928f32b01534d106bf626ef8a.tar.bz2 abc-2696cf05e568f7a928f32b01534d106bf626ef8a.zip | |
Version abc70313
Diffstat (limited to 'src/base/abci/abcResub.c')
| -rw-r--r-- | src/base/abci/abcResub.c | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/base/abci/abcResub.c b/src/base/abci/abcResub.c index 1938db7c..243548fa 100644 --- a/src/base/abci/abcResub.c +++ b/src/base/abci/abcResub.c @@ -118,6 +118,7 @@ extern void Abc_NtkDontCareClear( void * p ); extern void Abc_NtkDontCareFree( void * p ); extern int Abc_NtkDontCareCompute( void * p, Abc_Obj_t * pNode, Vec_Ptr_t * vLeaves, unsigned * puTruth ); +extern int s_ResubTime; //////////////////////////////////////////////////////////////////////// /// FUNCTION DEFINITIONS /// @@ -261,6 +262,7 @@ pManRes->timeTotal = clock() - clkStart; printf( "Abc_NtkRefactor: The network check has failed.\n" ); return 0; } +s_ResubTime = clock() - clkStart; return 1; } |