Code

Memory snapshot harness havoc#4351

Code

Merged

xbauch merged 4 commits intodiffblue:developdiffblue/cbmc:developfrom

xbauch:feature/memory-snapshot-harness-havocxbauch/cbmc:feature/memory-snapshot-harness-havocCopy head branch name to clipboard

Mar 18, 2019

Commits

Commits on Mar 18, 2019

• Havoc global variables in memory snapshot harness

  Show description for 7eaf157
  

  Petr Bauch

  authored and

  Petr Bauch

  committed
  7eaf157

  Copy full SHA for 7eaf157

• Add documentation to memory snapshot harness

  Show description for 6ca35c2
  

  Petr Bauch

  authored and

  Petr Bauch

  committed
  6ca35c2

  Copy full SHA for 6ca35c2

• Add cprover manual entry

  Show description for fce288d
  

  Petr Bauch

  authored and

  Petr Bauch

  committed
  fce288d

  Copy full SHA for fce288d

• Add regression tests

  Show description for ceaafdf
  

  Petr Bauch

  authored and

  Petr Bauch

  committed
  ceaafdf

  Copy full SHA for ceaafdf