Add reset_temporary_counter to fresh_symbol#1423

smowton merged 1 commit intodiffblue:developdiffblue/cbmc:developfrom

janmroczkowski:janmroczkowski/fresh_symbol-reset_temporary_counterjanmroczkowski/cbmc:janmroczkowski/fresh_symbol-reset_temporary_counterCopy head branch name to clipboard