Memory snapshot harness havoc#4351

Merged

xbauch merged 4 commits intodiffblue:developfrom

xbauch:feature/memory-snapshot-harness-havoc

Mar 18, 2019

Commits on Mar 18, 2019

Havoc global variables in memory snapshot harness

Petr Bauch
authored and
Petr Bauch
committed
Add documentation to memory snapshot harness

Petr Bauch
authored and
Petr Bauch
committed
Add cprover manual entry

Petr Bauch
authored and
Petr Bauch
committed
Add regression tests

Petr Bauch
authored and
Petr Bauch
committed