Code

Benchmark script improvements#4259

Code

Merged

tautschnig merged 2 commits intodiffblue:developdiffblue/cbmc:developfrom

smowton:smowton/admin/benchmark-script-improvementssmowton/cbmc:smowton/admin/benchmark-script-improvementsCopy head branch name to clipboard

Feb 25, 2019

Commits

Commits on Feb 22, 2019

• Fix variable and function names in benchmark script

  smowton

  committed
  760204e

  Copy full SHA for 760204e

Commits on Feb 25, 2019

• Benchmark script: improve file naming, readme consistency

  Show description for 587b701
  smowton

  committed
  587b701

  Copy full SHA for 587b701