Skip to content
CLA Assistant

Certora Prover setup and properties for the audit of Passkey module #2062

Sign in to view logs

Certora Prover setup and properties for the audit of Passkey module

Certora Prover setup and properties for the audit of Passkey module #2062

Triggered via issue October 14, 2024 07:49
@remedcuremedcu
commented on #495 0b9ea28
Status Success
Total duration 14s
Artifacts –

cla.yml

on: issue_comment
CLAAssistant
4s
CLAAssistant
Fit to window
Zoom out
Zoom in