Function verification_status_to_ahp

core/src/ahp/contract.rs:257–268

(
    status: crate::verification::VerificationStatus,
)

}

fn verification_status_to_ahp(
    status: crate::verification::VerificationStatus,
) -> a3s_ahp::VerificationStatus {
    match status {
        crate::verification::VerificationStatus::Passed => a3s_ahp::VerificationStatus::Passed,
        crate::verification::VerificationStatus::Failed => a3s_ahp::VerificationStatus::Failed,
        crate::verification::VerificationStatus::NeedsReview => {
            a3s_ahp::VerificationStatus::NeedsReview
        }
        crate::verification::VerificationStatus::Skipped => a3s_ahp::VerificationStatus::Skipped,
    }
}

fn task_metadata(
    task: &crate::planning::Task,