Code

Print log suffix when running tests#2591

Code

Merged

allredj merged 1 commit intodiffblue:developdiffblue/cbmc:developfrom

allredj:log-suffix-in-testplallredj/cbmc:log-suffix-in-testplCopy head branch name to clipboard

Jul 27, 2018

Commits

Commits on Jul 23, 2018

• Print log suffix when running tests

  Show description for 282468c
  

  Joel Allred

  committed
  282468c

  Copy full SHA for 282468c