pub fn check_proofs(list: &KaniList, v_ser_fun: &[&SerFunction]) -> Result<()>Expand description
Check if all proofs matches in kani-list.json and SerFunctions.
pub fn check_proofs(list: &KaniList, v_ser_fun: &[&SerFunction]) -> Result<()>Check if all proofs matches in kani-list.json and SerFunctions.