Code

Travis test speedups#1907

Code

Merged

tautschnig merged 2 commits intodiffblue:developdiffblue/cbmc:developfrom

chrisr-diffblue:travis-test-speedupschrisr-diffblue/cbmc:travis-test-speedupsCopy head branch name to clipboard

Mar 12, 2018

Commits

Commits on Mar 7, 2018

• Enable a coarse-grained prallelism when running regression test jobs via Makefiles

  Show description for 87526e0
  chrisr-diffblue

  committed
  87526e0

  Copy full SHA for 87526e0

• Improve job scheduling when running regression tests with -jN

  Show description for 691816b
  chrisr-diffblue

  committed
  691816b

  Copy full SHA for 691816b