diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2011-12-15 12:42:42 -0800 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2011-12-15 12:42:42 -0800 |
| commit | b63b332bac5883c1a60064381a81c7543a636061 (patch) | |
| tree | 7b58ecb1a270d34824d6941c7381cd79c5690514 /src/aig/saig | |
| parent | 40ddda3edd9819782f46a40c690070279fea627c (diff) | |
| download | abc-b63b332bac5883c1a60064381a81c7543a636061.tar.gz abc-b63b332bac5883c1a60064381a81c7543a636061.tar.bz2 abc-b63b332bac5883c1a60064381a81c7543a636061.zip | |
Trying to make sorting of nodes platform-indendent.
Diffstat (limited to 'src/aig/saig')
| -rw-r--r-- | src/aig/saig/saigBmc3.c | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/src/aig/saig/saigBmc3.c b/src/aig/saig/saigBmc3.c index f6ec3e0d..2dd7cbe3 100644 --- a/src/aig/saig/saigBmc3.c +++ b/src/aig/saig/saigBmc3.c @@ -1015,6 +1015,11 @@ int Aig_NodeCompareRefsIncrease( Aig_Obj_t ** pp1, Aig_Obj_t ** pp2 ) return -1; if ( Diff > 0 ) return 1; + Diff = Aig_ObjId(*pp1) - Aig_ObjId(*pp2); + if ( Diff < 0 ) + return -1; + if ( Diff > 0 ) + return 1; return 0; } |