Skip to content
CLA Assistant

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

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 #2032

Triggered via issue September 13, 2024 10:05
@mmv08mmv08
commented on #495 a5aaf8e
Status Success
Total duration 16s
Artifacts –

cla.yml

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