[ARITH] Bugfix: int bound analysis for mod (#3288)
authorSergei Grechanik <grechanik.sergey@huawei.com>
Tue, 4 Jun 2019 15:42:27 +0000 (18:42 +0300)
committerTianqi Chen <tqchen@users.noreply.github.com>
Tue, 4 Jun 2019 15:42:27 +0000 (08:42 -0700)
commit4a81086684d7aeed57c2fd777e3c2f03c8bd3273
treeefc418e630a445f49935f0331f849610409f5f39
parentbb48a45bcfc7d8a40dadca0ab7f589f59fdec374
[ARITH] Bugfix: int bound analysis for mod (#3288)
src/arithmetic/const_int_bound.cc
tests/python/unittest/test_arith_rewrite_simplify.py