Automatically deduce test names from dir names#1408

thk123 merged 1 commit intodiffblue:developdiffblue/cbmc:developfrom

reuk:reuk/regression-filenamesreuk/cbmc:reuk/regression-filenamesCopy head branch name to clipboard