From cca7e038f2713b2ff9d2f23067f9befcc7ef654e Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Fri, 6 Mar 2020 13:41:45 -0800 Subject: Corner-case bug-fix in retiming. --- src/base/wln/wlnRetime.c | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'src/base') diff --git a/src/base/wln/wlnRetime.c b/src/base/wln/wlnRetime.c index 2d7c814b..4e886c5d 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 1; + return Class == -1 ? 0 : 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 1; + return Class == -1 ? 0 : 1; } int Wln_RetCheckBackward( Wln_Ret_t * p, Vec_Int_t * vSet ) { -- cgit v1.2.3