Code

Add ranget drop and skip methods#4347

Code

Merged

romainbrenguier merged 3 commits intodiffblue:developdiffblue/cbmc:developfrom

romainbrenguier:feature/range-dropromainbrenguier/cbmc:feature/range-dropCopy head branch name to clipboard

Mar 8, 2019

Commits

Commits on Mar 8, 2019

• Add drop functions for ranget

  Show description for b81bbcb
  romainbrenguier

  committed
  b81bbcb

  Copy full SHA for b81bbcb

• Unit test for ranget drop

  Show description for e80340d
  romainbrenguier

  committed
  e80340d

  Copy full SHA for e80340d

• Use move in ranget constructor

  Show description for 962c9f4
  romainbrenguier

  committed
  962c9f4

  Copy full SHA for 962c9f4