Summarize final OrCa campaign results for Solidity protocols. Use after long OrCa runs or campaign completion to report confirmed findings, counterexample status, interesting call_metrics.json metrics, fuzzing efficiency, coverage gaps, residual risks, and recommended follow-up.
Summarize final OrCa campaign results for Solidity protocols. Use after long OrCa runs or campaign completion to report confirmed findings, counterexample status, interesting call_metrics.json metrics, fuzzing efficiency, coverage gaps, residual risks, and recommended follow-up.
Esta entrada no publica ningún paquete de npm, así que Forge no tiene un árbol de dependencias para ella. Es una carencia de cobertura, no una afirmación de que no tenga dependencias.