Regression tests for Bitwise Operators Conversion in new SMT backend#6694

Merged

NlightNFotis merged 3 commits intodiffblue:developfrom

NlightNFotis:bitwise_ops_regression_tests

Mar 4, 2022

Commits on Feb 28, 2022

Add a regression test that drives the left shift behaviour in the new SMT backend
NlightNFotis
committed

Commits on Mar 3, 2022

Add regression tests for the right shifting behaviour of the new SMT backend
NlightNFotis
committed
Add tests for the bitwise operators (and, or, not, xor)
NlightNFotis
committed