Code

Add preformatted message flag#1059

Code

Merged

smowton merged 1 commit intodiffblue:test-gen-supportdiffblue/cbmc:test-gen-supportfrom

smowton:smowton/fix/structured_trace_outputsmowton/cbmc:smowton/fix/structured_trace_outputCopy head branch name to clipboard

Jun 26, 2017

Commits

Commits on Jun 26, 2017

• Add preformatted message flag

  Show description for 20e4def
  smowton

  committed
  20e4def

  Copy full SHA for 20e4def