From 925418d562fbe234546abff2547ec21669d01000 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Wed, 2 Dec 2020 09:46:31 -1000
Subject: [PATCH] Corner case bug fix in &cec.
---
src/proof/cec/cecCore.c | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/src/proof/cec/cecCore.c b/src/proof/cec/cecCore.c
index 1ae3427..51debba 100644
--- a/src/proof/cec/cecCore.c
+++ b/src/proof/cec/cecCore.c
@@ -553,8 +553,8 @@ finalize:
Cec_ManSimStop( pSim );
Cec_ManPatStop( pPat );
Cec_ManFraStop( p );
- ABC_FREE( pTemp->pReprs );
- ABC_FREE( pTemp->pNexts );
+ if ( pTemp ) ABC_FREE( pTemp->pReprs );
+ if ( pTemp ) ABC_FREE( pTemp->pNexts );
return pTemp;
}
--
libgit2 0.26.0