Code

Use sanitizers in travis#968

Code

Closed

reuk wants to merge 2 commits intodiffblue:developdiffblue/cbmc:developfrom reuk:use-sanitizers-in-travisreuk/cbmc:use-sanitizers-in-travisCopy head branch name to clipboard

+61-60

Commits

Commits on May 28, 2017

• Fix clobber and memory-model targets

  reuk

  committed
  e6b741a

  Copy full SHA for e6b741a

• Use sanitizers in travis

  reuk

  committed
  ecba3c0

  Copy full SHA for ecba3c0