diff options
| -rw-r--r-- | src/proof/ssc/sscSat.c | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/proof/ssc/sscSat.c b/src/proof/ssc/sscSat.c index ca0933ec..c029a541 100644 --- a/src/proof/ssc/sscSat.c +++ b/src/proof/ssc/sscSat.c @@ -349,6 +349,7 @@ int Ssc_ManCheckEquivalence( Ssc_Man_t * p, int iRepr, int iNode, int fCompl ) { int pLitsSat[2], RetValue; abctime clk; + assert( iRepr != iNode ); assert( iRepr < iNode ); // if ( p->nTimeOut ) // sat_solver_set_runtime_limit( p->pSat, p->nTimeOut * CLOCKS_PER_SEC + Abc_Clock() ); |