Code

Test gen strings update regression#976

Code

Merged

forejtv merged 2 commits intodiffblue:test-gen-supportdiffblue/cbmc:test-gen-supportfrom

allredj:test-gen-strings-update-regressionallredj/cbmc:test-gen-strings-update-regressionCopy head branch name to clipboard

Jun 5, 2017

Commits

Commits on Jun 5, 2017

• Update strings-smoke-test

  Show description for 86de08f
  

  romainbrenguier

  authored and

  Joel Allred

  committed
  86de08f

  Copy full SHA for 86de08f

• Add strings-smoke-tests to regression Makefile

  

  Joel Allred

  committed
  56800d5

  Copy full SHA for 56800d5