Code

Add dry-run mode to test.pl#1356

Code

Merged

smowton merged 1 commit intodiffblue:developdiffblue/cbmc:developfrom

smowton:smowton/feature/test_pl_add_dry_runsmowton/cbmc:smowton/feature/test_pl_add_dry_runCopy head branch name to clipboard

Sep 7, 2017

Commits

Commits on Sep 7, 2017

• Add dry-run mode to test.pl

  Show description for 296349c
  smowton

  committed
  296349c

  Copy full SHA for 296349c