Skip to main content

receipt_of

logicaffeine_compile::codegen_sva::fp_receipt

Function receipt_of 

Source 
pub fn receipt_of<'a>(
    ledger: &'a Ledger,
    measurement: &str,
) -> Option<&'a Receipt>
Expand description

The receipt that records measurement, by its SHA-256: the card run a hard-float build takes its blocks from, read against the discriminator ledger kept beside it (fp_receipts/<kept_dir>/discriminators.json).