Fixed a bug where the rw_set range not being set correctly#2693

Merged

martin-cs merged 2 commits intodiffblue:developfrom

zhixing-xu:fix_rw_range_upper

Aug 8, 2018

Commits on Aug 6, 2018

Fixed a problem where the rw_set range's upper bound not set correctly
zhixing-xu
committed

Commits on Aug 7, 2018

Update test.desc
zhixing-xu
committed