Resume a codegen thread from its checkpoint instead of re-entering it - #192

Resume a codegen thread from its checkpoint instead of re-entering it#192

shellygr wants to merge 1 commit into

masterCertora/AutoProver:masterfrom

shelly/codegen-resume-checkpointCertora/AutoProver:shelly/codegen-resume-checkpointCopy head branch name to clipboard