| 962 | } |
| 963 | |
| 964 | void params_reset(struct ph_param *params, const struct ph_options *options) |
| 965 | { |
| 966 | /*@ assert valid_ph_param(params); */ |
| 967 | params->file_stats=init_file_stats(options->list_file_format); |
| 968 | /*@ assert valid_ph_param(params); */ |
| 969 | params_reset_aux(params); |
| 970 | } |
| 971 | |
| 972 | const char *status_to_name(const photorec_status_t status) |
| 973 | { |
no test coverage detected