diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2012-09-23 14:30:17 -0700 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2012-09-23 14:30:17 -0700 |
commit | f7caf84f21ff02b12e41be6b7e1fdfeeab3a560f (patch) | |
tree | 0bfccc8316d94d05b5a7ffb4ddd985a6b7507e53 /src/misc/vec | |
parent | c8ed816714c51e2876e3d74b211728c12835070f (diff) | |
download | abc-f7caf84f21ff02b12e41be6b7e1fdfeeab3a560f.tar.gz abc-f7caf84f21ff02b12e41be6b7e1fdfeeab3a560f.tar.bz2 abc-f7caf84f21ff02b12e41be6b7e1fdfeeab3a560f.zip |
Modified structural constraint extraction (unfold -s) to work for multi-output testcases.
Diffstat (limited to 'src/misc/vec')
-rw-r--r-- | src/misc/vec/vecPtr.h | 22 |
1 files changed, 22 insertions, 0 deletions
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 @@ -781,6 +781,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.] Description [] |