Code

Improvements to perf-test(.py)#1551

Code

Merged

tautschnig merged 7 commits intodiffblue:developdiffblue/cbmc:developfrom

tautschnig:perf-test-improvementstautschnig/cbmc:perf-test-improvementsCopy head branch name to clipboard

Feb 22, 2018

Commits

Commits on Dec 8, 2017

• Utility to generate HTML reports from perf-test experiments

  Show description for 3269da7
  tautschnig

  committed
  3269da7

  Copy full SHA for 3269da7

• Update cprover-sv-comp, benchexec to latest version

  tautschnig

  committed
  d3b29d2

  Copy full SHA for d3b29d2

• Permit selecting a regular-expression-defined set of tasks

  tautschnig

  committed
  6eeb672

  Copy full SHA for 6eeb672

• Support custom CodeBuild templates

  tautschnig

  committed
  1c0cf32

  Copy full SHA for 1c0cf32

• SV-COMP now requires zip files

  tautschnig

  committed
  98b9ae6

  Copy full SHA for 98b9ae6

• perf-test: build configuration using glucose

  Show description for f659577
  tautschnig

  committed
  f659577

  Copy full SHA for f659577

• Use svcomp18 as base

  tautschnig

  committed
  03095d4

  Copy full SHA for 03095d4