[ARITH] Bugfix: check arg positiveness for mod rules (#3279)
authorSergei Grechanik <grechanik.sergey@huawei.com>
Mon, 3 Jun 2019 15:52:31 +0000 (18:52 +0300)
committerTianqi Chen <tqchen@users.noreply.github.com>
Mon, 3 Jun 2019 15:52:31 +0000 (08:52 -0700)
commit0faf7310d94ffaad903c65a32516f102d291e435
tree598865237b1bf7993adf20800e19526237be6600
parentfc2b2a07305e6a4f426bd995fc167c3ea2938ea9
[ARITH] Bugfix: check arg positiveness for mod rules (#3279)
src/arithmetic/rewrite_simplify.cc
tests/python/unittest/test_arith_rewrite_simplify.py