| 1172 | } |
| 1173 | |
| 1174 | void file_block_append(file_recovery_t *file_recovery, alloc_data_t *list_search_space, alloc_data_t **new_current_search_space, uint64_t *offset, const unsigned int blocksize, const unsigned int data) |
| 1175 | { |
| 1176 | file_block_add_to_file(&file_recovery->location, *offset, blocksize, data); |
| 1177 | file_block_remove_from_sp(list_search_space, new_current_search_space, offset, blocksize); |
| 1178 | } |
| 1179 | |
| 1180 | /*@ |
| 1181 | @ requires \valid(list_search_space); |
no test coverage detected