Skip to content
formal verification

Extend onlyAuthorized to support extra functions in AccessManager #4181

Sign in to view logs

Extend onlyAuthorized to support extra functions in AccessManager

Extend onlyAuthorized to support extra functions in AccessManager #4181

Triggered via pull request May 24, 2024 20:39
@ernestognwernestognw
synchronize #5014
ernestognw:manager/extended-only-authorized
Status Success
Total duration 1m 3s
Artifacts –

formal-verification.yml

on: pull_request
apply-diff
2s
apply-diff
verify
0s
verify
halmos
54s
halmos
Fit to window
Zoom out
Zoom in