From 57b51411813a7eab9943cc7b0efa884949156171 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Fri, 1 Nov 2013 11:33:43 -0400
Subject: Sweeper assertion.

---
 src/proof/ssc/sscSat.c | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'src/proof/ssc/sscSat.c')

diff --git a/src/proof/ssc/sscSat.c b/src/proof/ssc/sscSat.c
index c029a541..547d58b0 100644
--- a/src/proof/ssc/sscSat.c
+++ b/src/proof/ssc/sscSat.c
@@ -350,6 +350,8 @@ int Ssc_ManCheckEquivalence( Ssc_Man_t * p, int iRepr, int iNode, int fCompl )
     int pLitsSat[2], RetValue;
     abctime clk;
     assert( iRepr != iNode );
+    if ( iRepr > iNode )
+        return l_Undef;
     assert( iRepr < iNode );
 //    if ( p->nTimeOut )
 //        sat_solver_set_runtime_limit( p->pSat, p->nTimeOut * CLOCKS_PER_SEC + Abc_Clock() );
-- 
cgit v1.2.3