Code

goto-cc: get gcc version#2240

Code

Merged

kroening merged 5 commits intodevelopdiffblue/cbmc:developfrom

get-gcc-versiondiffblue/cbmc:get-gcc-versionCopy head branch name to clipboard

Jun 6, 2018

Commits

Commits on Jun 6, 2018

• run() can now redirect stderr

  

  Daniel Kroening

  committed
  09a4e6c

  Copy full SHA for 09a4e6c

• added gcc_versiont

  

  Daniel Kroening

  committed
  fd910a7

  Copy full SHA for fd910a7

• goto-cc now reports version of installed gcc

  

  Daniel Kroening

  committed
  cd6ecec

  Copy full SHA for cd6ecec

• _FloatX support based on gcc version

  

  Daniel Kroening

  committed
  e040723

  Copy full SHA for e040723

• undo parts of #2185

  

  Daniel Kroening

  committed
  78794e2

  Copy full SHA for 78794e2