generate_contract_from_std_annotation_json

rapx::analysis::utils::fn_info

Function generate_contract_from_std_annotation_json 

Source 
pub fn generate_contract_from_std_annotation_json(
    tcx: TyCtxt<'_>,
    def_id: DefId,
) -> Vec<(usize, Vec<usize>, PropertyContract<'_>)>
Expand description

Generate contracts from pre-defined std-lib JSON configuration (std_sps_args.json).