generate_contract_from_std_annotation_json

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).