Code

show-vcc: colors#3209

Code

Merged

kroening merged 3 commits intodevelopdiffblue/cbmc:developfrom

show-vcc-colorsdiffblue/cbmc:show-vcc-colorsCopy head branch name to clipboard

Oct 20, 2018

Commits

Commits on Oct 20, 2018

• fix description in exception thrown

  

  Daniel Kroening

  committed
  68a5555

  Copy full SHA for 68a5555

• switch show_vcc_plain to mstreamt

  

  Daniel Kroening

  committed
  ef3f429

  Copy full SHA for ef3f429

• (moderate) use of color in show-vcc

  

  Daniel Kroening

  committed
  5e7a1dd

  Copy full SHA for 5e7a1dd