Code

Speed up OSX builds on Travis.#785

Code

Merged

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

forejtv:cherrypick-osx-travis-to-test-genCopy head branch name to clipboard

Apr 11, 2017

Commits

Commits on Apr 9, 2017

• Speed up OSX builds on Travis.

  Show description for 158d950
  forejtv

  committed
  158d950

  Copy full SHA for 158d950