diff options
Diffstat (limited to 'src/base/wln/wlnNdr.c')
| -rw-r--r-- | src/base/wln/wlnNdr.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/base/wln/wlnNdr.c b/src/base/wln/wlnNdr.c index 00f2a144..60179ed4 100644 --- a/src/base/wln/wlnNdr.c +++ b/src/base/wln/wlnNdr.c @@ -309,7 +309,7 @@ void Wln_ReadNdrTest() Wln_NtkStaticFanoutTest( pNtk ); Wln_NtkFree( pNtk ); } -void Wln_NtkRetimeTest( char * pFileName, int fVerbose ) +void Wln_NtkRetimeTest( char * pFileName, int fSkipSimple, int fVerbose ) { Vec_Int_t * vMoves; void * pData = Ndr_Read( pFileName ); @@ -321,7 +321,7 @@ void Wln_NtkRetimeTest( char * pFileName, int fVerbose ) } Ndr_Delete( pData ); Wln_NtkRetimeCreateDelayInfo( pNtk ); - vMoves = Wln_NtkRetime( pNtk, fVerbose ); + vMoves = Wln_NtkRetime( pNtk, fSkipSimple, fVerbose ); //Vec_IntPrint( vMoves ); Vec_IntFree( vMoves ); Wln_NtkFree( pNtk ); |