From 68636887891036a2ebd77fa0397afd7da91a551a Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Wed, 23 Jan 2013 12:37:44 +0700 Subject: Enabled detecting CEXes in multiple POs without stopping (sim3 -a). --- src/misc/vec/vecPtr.h | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) (limited to 'src/misc/vec') diff --git a/src/misc/vec/vecPtr.h b/src/misc/vec/vecPtr.h index 9aedbed4..731cf9a1 100644 --- a/src/misc/vec/vecPtr.h +++ b/src/misc/vec/vecPtr.h @@ -554,7 +554,8 @@ static inline void Vec_PtrFreeFree( Vec_Ptr_t * p ) int i; if ( p == NULL ) return; Vec_PtrForEachEntry( void *, p, pTemp, i ) - ABC_FREE( pTemp ); + if ( pTemp != (void *)(ABC_PTRINT_T)1 && pTemp != (void *)(ABC_PTRINT_T)2 ) + ABC_FREE( pTemp ); Vec_PtrFree( p ); } -- cgit v1.2.3