From 5158acb113586d17895cc32e8d71e12c06705eb5 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Sat, 27 Jan 2018 13:05:37 -0800
Subject: Experiments with circuit-based SAT.

---
 src/aig/gia/giaCSat.c | 1 +
 1 file changed, 1 insertion(+)

(limited to 'src/aig/gia/giaCSat.c')

diff --git a/src/aig/gia/giaCSat.c b/src/aig/gia/giaCSat.c
index baf1b418..503961d4 100644
--- a/src/aig/gia/giaCSat.c
+++ b/src/aig/gia/giaCSat.c
@@ -285,6 +285,7 @@ static inline int Cbs_QueIsEmpty( Cbs_Que_t * p )
 ***********************************************************************/
 static inline void Cbs_QuePush( Cbs_Que_t * p, Gia_Obj_t * pObj )
 {
+    assert( !Gia_IsComplement(pObj) );
     if ( p->iTail == p->nSize )
     {
         p->nSize *= 2;
-- 
cgit v1.2.3