better handling of the random value#832

mitzimorris merged 1 commit intodevelopstan-dev/cmdstan:developfrom

write_actual_random_value_ver_2stan-dev/cmdstan:write_actual_random_value_ver_2Copy head branch name to clipboard