pub fn generate_safety_certificate(
property_desc: &str,
k: u32,
is_safe: bool,
) -> ProofCertificateExpand description
Generate a proof certificate for a safety result.
pub fn generate_safety_certificate(
property_desc: &str,
k: u32,
is_safe: bool,
) -> ProofCertificateGenerate a proof certificate for a safety result.