consider array_copy expressions in the full-slice #694

Merged

kroening merged 2 commits intodiffblue:masterfrom

lucasccordeiro:fix-full-slice-03

Mar 24, 2017

Commits on Mar 24, 2017

added support for array_copy in the full-slice option
lucasccordeiro
committed
added two test cases into goto-instrument regression for checking array_copy
lucasccordeiro
committed