diff options
Diffstat (limited to 'src/base/io')
| -rw-r--r-- | src/base/io/ioReadAiger.c | 1 | ||||
| -rw-r--r-- | src/base/io/ioReadBblif.c | 5 | ||||
| -rw-r--r-- | src/base/io/ioWriteAiger.c | 2 |
3 files changed, 3 insertions, 5 deletions
diff --git a/src/base/io/ioReadAiger.c b/src/base/io/ioReadAiger.c index 0644aed9..8ff32ac9 100644 --- a/src/base/io/ioReadAiger.c +++ b/src/base/io/ioReadAiger.c @@ -25,7 +25,6 @@ #include <stdlib.h> #include <string.h> #include <assert.h> -#include <time.h> #include "src/misc/bzlib/bzlib.h" #include "src/misc/zlib/zlib.h" diff --git a/src/base/io/ioReadBblif.c b/src/base/io/ioReadBblif.c index 873a5671..ee7c5ee7 100644 --- a/src/base/io/ioReadBblif.c +++ b/src/base/io/ioReadBblif.c @@ -164,7 +164,8 @@ Abc_Ntk_t * Bbl_ManToAig( Bbl_Man_t * p ) Bbl_Obj_t * pObj, * pFanin; Vec_Ptr_t * vCopy, * vNodes, * vFaninAigs; Dec_Graph_t ** pFForms; - int i, clk; + int i; + clock_t clk; clk = clock(); // map SOP handles into factored forms pFForms = ABC_CALLOC( Dec_Graph_t *, Bbl_ManFncSize(p) ); @@ -270,7 +271,7 @@ void Bbl_ManTest( Abc_Ntk_t * pNtk ) Abc_Ntk_t * pNtkNew; Bbl_Man_t * p, * pNew; char * pFileName = "test.bblif"; - int clk, clk1, clk2, clk3, clk4, clk5; + clock_t clk, clk1, clk2, clk3, clk4, clk5; clk = clock(); p = Bbl_ManFromAbc( pNtk ); Bbl_ManPrintStats( p ); diff --git a/src/base/io/ioWriteAiger.c b/src/base/io/ioWriteAiger.c index a22d16ba..ef2be673 100644 --- a/src/base/io/ioWriteAiger.c +++ b/src/base/io/ioWriteAiger.c @@ -25,8 +25,6 @@ #include <stdlib.h> #include <string.h> #include <assert.h> -#include <time.h> -#include <stdarg.h> #include "src/misc/bzlib/bzlib.h" #include "src/misc/zlib/zlib.h" |