Code

Enable goto_modelt move assignment#880

Code

Merged

kroening merged 2 commits intodiffblue:masterdiffblue/cbmc:masterfrom

NathanJPhillips:feature/enable-goto-model-move-assignmentNathanJPhillips/cbmc:feature/enable-goto-model-move-assignmentCopy head branch name to clipboard

May 15, 2017

Commits

Commits on May 12, 2017

• Enable goto_modelt move assignment

  Show description for 8c4d8c5
  NathanJPhillips

  committed
  8c4d8c5

  Copy full SHA for 8c4d8c5

• Removed copy constructor from goto_function_templatet

  Show description for 389fbcd
  NathanJPhillips

  committed
  389fbcd

  Copy full SHA for 389fbcd