Detailed description:
In this PR, we remove unnecessary simplification for bitwise operators. In the original code base, inside Simplify.cpp, the bitwise_and will become a modular operator in certain cases, which is not necessary and can be wrong. This logic is now removed in this PR.
Link to the tests:
Two tests are added. One under tests/issues and the other for more general testing under tests/test_api.py.
Fixed issue #398
Detailed description: In this PR, we remove unnecessary simplification for bitwise operators. In the original code base, inside
Simplify.cpp
, the bitwise_and will become a modular operator in certain cases, which is not necessary and can be wrong. This logic is now removed in this PR.Link to the tests: Two tests are added. One under tests/issues and the other for more general testing under tests/test_api.py.