[ARITH] Fix x||!x for comparisons in rewrite simplifier (#3029)
authorSergei Grechanik <grechanik.sergey@huawei.com>
Tue, 16 Apr 2019 16:37:45 +0000 (19:37 +0300)
committerTianqi Chen <tqchen@users.noreply.github.com>
Tue, 16 Apr 2019 16:37:45 +0000 (12:37 -0400)
commit4b487c0d09a33dc47197cab21e6e1bd4780e06c8
treeaa8e5199e485f77540b914e1bf3e9b21d67818e8
parent0f8686e8199dcc357856f7f709af4a49dc6c4bd3
[ARITH] Fix x||!x for comparisons in rewrite simplifier (#3029)
src/arithmetic/rewrite_simplify.cc
tests/python/unittest/test_arith_rewrite_simplify.py