Commit 63a9cb8

NathanJPhillips

authored

Merge pull request diffblue#466 from diffblue/cleanup/overlay_map

Cleanup overlay map

2 parents 0b20868 + cabb762 commit 63a9cb8Copy full SHA for 63a9cb8

4 files changed

+222

-237

lines changed

cbmc
- src/util
  - overlay_map.h
- unit/util
  - overlay_map.cpp
src/taint-analysis
- taint_summary.cpp
- taint_summary.h

4 files changed

+222

-237

lines changed

Comments

(0)