diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2006-04-19 08:01:00 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2006-04-19 08:01:00 -0700 |
| commit | 73b8d1dd79f4cca7821b78df0da999d6ea6872e6 (patch) | |
| tree | a1af4122d60ad491acb3e9d3d183db1ca95eb64d /src/base/abci/abcFraig.c | |
| parent | c1710767b298a8acae16421a660a0874255636a5 (diff) | |
| download | abc-73b8d1dd79f4cca7821b78df0da999d6ea6872e6.tar.gz abc-73b8d1dd79f4cca7821b78df0da999d6ea6872e6.tar.bz2 abc-73b8d1dd79f4cca7821b78df0da999d6ea6872e6.zip | |
Version abc60419
Diffstat (limited to 'src/base/abci/abcFraig.c')
| -rw-r--r-- | src/base/abci/abcFraig.c | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/base/abci/abcFraig.c b/src/base/abci/abcFraig.c index 2f54dcee..c22532e9 100644 --- a/src/base/abci/abcFraig.c +++ b/src/base/abci/abcFraig.c @@ -704,6 +704,7 @@ Abc_Ntk_t * Abc_NtkFraigRestore() Fraig_Params_t Params; Abc_Ntk_t * pStore, * pFraig; int nWords1, nWords2, nWordsMin; + int clk = clock(); // get the stored network pStore = Abc_FrameReadNtkStore(); @@ -740,6 +741,7 @@ Abc_Ntk_t * Abc_NtkFraigRestore() // Fraig_ManReportChoices( p ); // transform it into FRAIG pFraig = Abc_NtkFraig( pStore, &Params, 1, 0 ); +PRT( "Total fraiging time", clock() - clk ); if ( pFraig == NULL ) return NULL; Abc_NtkDelete( pStore ); |