Allow test script to operate on directories containing special chars#445

kroening merged 1 commit intodiffblue:masterdiffblue/cbmc:masterfrom

smowton:test_script_special_charssmowton/cbmc:test_script_special_charsCopy head branch name to clipboard