Module diagnostics

Module diagnostics 

Source
Expand description

Result aggregation and diagnostic formatting helpers. Diagnostic and result-recording helpers for Senryx contract checks.

The verifier records passed and failed safety properties per unsafe callsite so the top-level driver can summarize whether a target function discharged its unsafe API obligations.