Commit 1a41d496 by Alan Mishchenko

Corner-case bug-fix in retiming (undoing wrong fix).

parent cca7e038
...@@ -370,7 +370,7 @@ static inline int Wln_RetCheckForwardOne( Wln_Ret_t * p, int iObj ) ...@@ -370,7 +370,7 @@ static inline int Wln_RetCheckForwardOne( Wln_Ret_t * p, int iObj )
else if ( Class != Vec_IntEntry( &p->vFfClasses, iFlop ) ) else if ( Class != Vec_IntEntry( &p->vFfClasses, iFlop ) )
return 0; return 0;
} }
return Class == -1 ? 0 : 1; return 1;
} }
int Wln_RetCheckForward( Wln_Ret_t * p, Vec_Int_t * vSet ) 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 ) ...@@ -398,7 +398,7 @@ static inline int Wln_RetCheckBackwardOne( Wln_Ret_t * p, int iObj )
else if ( Class != Vec_IntEntry( &p->vFfClasses, iFlop ) ) else if ( Class != Vec_IntEntry( &p->vFfClasses, iFlop ) )
return 0; return 0;
} }
return Class == -1 ? 0 : 1; return 1;
} }
int Wln_RetCheckBackward( Wln_Ret_t * p, Vec_Int_t * vSet ) int Wln_RetCheckBackward( Wln_Ret_t * p, Vec_Int_t * vSet )
{ {
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment