diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2018-08-01 21:29:21 -0800 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2018-08-01 21:29:21 -0800 |
| commit | af5a70c076eb8c0787de2ee70acea7c3d5977440 (patch) | |
| tree | e735c2385e1d50b75ce80c3364262f306a84d1fc /src/opt/dau/dauNpn.c | |
| parent | bea3385fe5a69502fe77ab564c9383671e5c05d2 (diff) | |
| download | abc-af5a70c076eb8c0787de2ee70acea7c3d5977440.tar.gz abc-af5a70c076eb8c0787de2ee70acea7c3d5977440.tar.bz2 abc-af5a70c076eb8c0787de2ee70acea7c3d5977440.zip | |
Experiments with function enumeration.
Diffstat (limited to 'src/opt/dau/dauNpn.c')
| -rw-r--r-- | src/opt/dau/dauNpn.c | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/src/opt/dau/dauNpn.c b/src/opt/dau/dauNpn.c index 5ba624f6..6d9f6435 100644 --- a/src/opt/dau/dauNpn.c +++ b/src/opt/dau/dauNpn.c @@ -141,10 +141,12 @@ void Dau_TruthEnum() ***********************************************************************/ unsigned * Dau_ReadFile( char * pFileName, int nSizeW ) { + abctime clk = Abc_Clock(); FILE * pFile = fopen( pFileName, "rb" ); unsigned * p = (unsigned *)ABC_CALLOC(word, nSizeW); int RetValue = fread( p, sizeof(word), nSizeW, pFile ); fclose( pFile ); + Abc_PrintTime( 1, "File reading", Abc_Clock() - clk ); return p; } void Dau_AddFunction( word tCur, int nVars, unsigned * pTable, Vec_Int_t * vNpns ) @@ -262,7 +264,7 @@ void Dau_NetworkEnum() } void Dau_NetworkEnumTest() { - Dau_TruthEnum(); + //Dau_TruthEnum(); Dau_NetworkEnum(); } |