From 091c5893014dd81b6e69e56c1b7cf28a6320b5f9 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Wed, 14 Dec 2022 20:45:11 -0800
Subject: [PATCH] Unifying the use of random numbers.

---
 src/proof/cec/cecSatG2.c | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/proof/cec/cecSatG2.c b/src/proof/cec/cecSatG2.c
index 2bbc03d2e..9c67a51bf 100644
--- a/src/proof/cec/cecSatG2.c
+++ b/src/proof/cec/cecSatG2.c
@@ -875,7 +875,7 @@ static inline void Cec4_ObjSimCi( Gia_Man_t * p, int iObj )
     int w;
     word * pSim = Cec4_ObjSim( p, iObj );
     for ( w = 0; w < p->nSimWords; w++ )
-        pSim[w] = Gia_ManRandomW( 0 );
+        pSim[w] = Abc_RandomW( 0 );
     pSim[0] <<= 1;
 }
 static inline void Cec4_ObjClearSimCi( Gia_Man_t * p, int iObj )
@@ -1743,7 +1743,7 @@ int Cec4_ManPerformSweeping( Gia_Man_t * p, Cec_ParFra_t * pPars, Gia_Man_t ** p
         assert( Gia_ObjId(p, pObj) == i+1 );
 
     // check if any output trivially fails under all-0 pattern
-    Gia_ManRandom( 1 );
+    Abc_Random( 1 );
     Gia_ManSetPhase( p );
     if ( pPars->nLevelMax )
         Gia_ManLevelNum(p);