Code

Travis: remove g++ build on OS X#2209

Code

Merged

kroening merged 1 commit intodevelopdiffblue/cbmc:developfrom

travis-no-osx-g++diffblue/cbmc:travis-no-osx-g++Copy head branch name to clipboard

May 21, 2018

Commits

Commits on May 20, 2018

• remove g++ build on OS X; this is identical to the clang++ build

  

  Daniel Kroening

  committed
  8a68ab8

  Copy full SHA for 8a68ab8