Update example checksum log to use hashmap instead of hash_inv - somehow need to pass recover procedure the same hashmap from the crash predicate...?
Update example checksum log to use hashmap instead of hash_inv
- somehow need to pass recover procedure the same hashmap from the crash predicate...?

mit-pdos/fscq-impl,mit-pdos/fscq-impl,mit-pdos/fscq-impl,mit-pdos/fscq-impl,mit-pdos/fscq-impl