cricket issueshttps://git.rwth-aachen.de/acs/public/virtualization/cricket/-/issues2020-03-18T09:25:27+01:00https://git.rwth-aachen.de/acs/public/virtualization/cricket/-/issues/17Add binary to ckp_dir2020-03-18T09:25:27+01:00Jonathan KlimtAdd binary to ckp_dirWe could store the binary in the checkpoint directory. This would make it easier to store the checkpoint as a whole thing.We could store the binary in the checkpoint directory. This would make it easier to store the checkpoint as a whole thing.