diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2020-03-06 13:59:05 -0800 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2020-03-06 13:59:05 -0800 |
| commit | 1a41d496df1a63fd6347a36931d17f0f5b70bd74 (patch) | |
| tree | 09422c72e573c5f221a5c3ae1cd899e689a9e780 /src/base | |
| parent | cca7e038f2713b2ff9d2f23067f9befcc7ef654e (diff) | |
| download | abc-1a41d496df1a63fd6347a36931d17f0f5b70bd74.tar.gz abc-1a41d496df1a63fd6347a36931d17f0f5b70bd74.tar.bz2 abc-1a41d496df1a63fd6347a36931d17f0f5b70bd74.zip | |
Corner-case bug-fix in retiming (undoing wrong fix).
Diffstat (limited to 'src/base')
| -rw-r--r-- | src/base/wln/wlnRetime.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/base/wln/wlnRetime.c b/src/base/wln/wlnRetime.c index 4e886c5d..2d7c814b 100644 --- a/src/base/wln/wlnRetime.c +++ b/src/base/wln/wlnRetime.c @@ -370,7 +370,7 @@ static inline int Wln_RetCheckForwardOne( Wln_Ret_t * p, int iObj ) else if ( Class != Vec_IntEntry( &p->vFfClasses, iFlop ) ) return 0; } - return Class == -1 ? 0 : 1; + return 1; } int Wln_RetCheckForward( Wln_Ret_t * p, Vec_Int_t * vSet ) { @@ -398,7 +398,7 @@ static inline int Wln_RetCheckBackwardOne( Wln_Ret_t * p, int iObj ) else if ( Class != Vec_IntEntry( &p->vFfClasses, iFlop ) ) return 0; } - return Class == -1 ? 0 : 1; + return 1; } int Wln_RetCheckBackward( Wln_Ret_t * p, Vec_Int_t * vSet ) { |