diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2012-09-05 19:50:32 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2012-09-05 19:50:32 -0700 |
| commit | 4393a5fade106b91ed9e3c32016a5773b5063c6b (patch) | |
| tree | 8a1c0ef87d0b6edbc8148fe7c9ac34786509de32 /src/proof/fraig/fraigMan.c | |
| parent | cd2bd70865c6362b8162bef2b3d98125df984b85 (diff) | |
| download | abc-4393a5fade106b91ed9e3c32016a5773b5063c6b.tar.gz abc-4393a5fade106b91ed9e3c32016a5773b5063c6b.tar.bz2 abc-4393a5fade106b91ed9e3c32016a5773b5063c6b.zip | |
Added platform-independent random-number generator to 'fraig'.
Diffstat (limited to 'src/proof/fraig/fraigMan.c')
| -rw-r--r-- | src/proof/fraig/fraigMan.c | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/proof/fraig/fraigMan.c b/src/proof/fraig/fraigMan.c index c55ec1ba..dab3b08d 100644 --- a/src/proof/fraig/fraigMan.c +++ b/src/proof/fraig/fraigMan.c @@ -188,7 +188,8 @@ Fraig_Man_t * Fraig_ManCreate( Fraig_Params_t * pParams ) // set the random seed for simulation // srand( 0xFEEDDEAF ); - srand( 0xDEADCAFE ); +// srand( 0xDEADCAFE ); + Aig_ManRandom( 1 ); // set parameters for equivalence checking if ( pParams == NULL ) |