diff options
| author | Catherine <whitequark@whitequark.org> | 2023-02-23 01:47:15 +0000 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-02-23 01:47:15 +0000 |
| commit | 2c1c83f75b8078ced51f92c697da3e712feb3ac3 (patch) | |
| tree | a51814bef6d73d5a7a22c03a2229e76fe094a1af /src/aig | |
| parent | 0551ef2a68c27010d482b2c14971f9a45ec24be4 (diff) | |
| parent | 3f9b46591c7134bf546c14e90a29c643b8189c6e (diff) | |
| download | abc-2c1c83f75b8078ced51f92c697da3e712feb3ac3.tar.gz abc-2c1c83f75b8078ced51f92c697da3e712feb3ac3.tar.bz2 abc-2c1c83f75b8078ced51f92c697da3e712feb3ac3.zip | |
Merge pull request #21 from xobs/cast-unsigned-signedyosys-experimental
casts: add casts for unsigned -> signed int
Diffstat (limited to 'src/aig')
| -rw-r--r-- | src/aig/gia/giaIso3.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/aig/gia/giaIso3.c b/src/aig/gia/giaIso3.c index 8bea4bbf..bcd73c36 100644 --- a/src/aig/gia/giaIso3.c +++ b/src/aig/gia/giaIso3.c @@ -177,7 +177,7 @@ Vec_Wec_t * Gia_Iso4Gia( Gia_Man_t * p ) Vec_WecForEachLevel( vLevs, vLevel, l ) { Gia_Obj_t * pObj; int i; - int RandC[2] = { Abc_Random(0), Abc_Random(0) }; + int RandC[2] = { (int)Abc_Random(0), (int)Abc_Random(0) }; if ( l == 0 ) { Gia_ManForEachObjVec( vLevel, p, pObj, i ) |