Unit tests for simplifying boolean and cast expressions#5229

Merged

thk123 merged 2 commits intodiffblue:developfrom

thk123:test-simplify-boolean-expr

Feb 11, 2020

Commits on Feb 7, 2020

Add test cases for simplifying boolean formula
thk123
committed
Import tests for checking type cast removal
thk123
committed