[ARITH] Fix the rule y < x && x <= y (#4220)
authorSergei Grechanik <grechanik.sergey@huawei.com>
Wed, 30 Oct 2019 16:43:53 +0000 (19:43 +0300)
committerTianqi Chen <tqchen@users.noreply.github.com>
Wed, 30 Oct 2019 16:43:53 +0000 (09:43 -0700)
commitfc020b87a22acfa5deb39cb786058d641d45d577
tree4f7acc5bd9c53d2d85f4c5cf56a90923ecaa5f19
parent2be444f905af7df53a0828b10885e0fb637f5160
[ARITH] Fix the rule y < x && x <= y (#4220)
src/arithmetic/rewrite_simplify.cc
tests/python/unittest/test_arith_rewrite_simplify.py