[depends: #708] Adding tests that check that simplify removes statements generated by FP removal - #915

[depends: #708] Adding tests that check that simplify removes statements generated by FP removal#915

thk123 wants to merge 129 commits into

diffblue:developdiffblue/cbmc:developfrom

thk123:feature/simplify-fp-removal-teststhk123/cbmc:feature/simplify-fp-removal-testsCopy head branch name to clipboard