Do not trust the serialized VM bytecode in rocqchk - #22353

Do not trust the serialized VM bytecode in rocqchk#22353

JasonGross wants to merge 1 commit into

rocq-prover:masterrocq-prover/rocq:masterfrom

theorem-labs:coqchk-verify-vm-bytecodetheorem-labs/rocq:coqchk-verify-vm-bytecodeCopy head branch name to clipboard