Skip to main content

plasticine_report

logicaffeine_compile::codegen_sva::plasticine_report

Function plasticine_report 

Source 
pub fn plasticine_report(
    workloads: &[Workload],
    targets: &[PlasticineTarget],
) -> Value
Expand description

The whole report as JSON — deterministic in the workloads’ and targets’ order. Every workload must lower (a canonical workload the model cannot take is a bug, not a silent omission).