From f7caf84f21ff02b12e41be6b7e1fdfeeab3a560f Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Sun, 23 Sep 2012 14:30:17 -0700 Subject: Modified structural constraint extraction (unfold -s) to work for multi-output testcases. --- src/misc/vec/vecPtr.h | 22 ++++++++++++++++++++++ 1 file changed, 22 insertions(+) (limited to 'src/misc/vec') diff --git a/src/misc/vec/vecPtr.h b/src/misc/vec/vecPtr.h index 8285ef58..9aedbed4 100644 --- a/src/misc/vec/vecPtr.h +++ b/src/misc/vec/vecPtr.h @@ -779,6 +779,28 @@ static inline void Vec_PtrReverseOrder( Vec_Ptr_t * p ) } } +/**Function************************************************************* + + Synopsis [Checks if two vectors are equal.] + + Description [] + + SideEffects [] + + SeeAlso [] + +***********************************************************************/ +static inline int Vec_PtrEqual( Vec_Ptr_t * p1, Vec_Ptr_t * p2 ) +{ + int i; + if ( p1->nSize != p2->nSize ) + return 0; + for ( i = 0; i < p1->nSize; i++ ) + if ( p1->pArray[i] != p2->pArray[i] ) + return 0; + return 1; +} + /**Function************************************************************* Synopsis [Comparison procedure for two integers.] -- cgit v1.2.3