Skip to content
formal verification

Add variants of Array.sort for address[] and bytes32[] #3575

Sign in to view logs

Add variants of Array.sort for address[] and bytes32[]

Add variants of Array.sort for address[] and bytes32[] #3575

Triggered via pull request February 9, 2024 21:43
@AmxxAmxx
synchronize #4883
Amxx:feature/sorting/address-and-bytes32-arrays
Status Success
Total duration 12s
Artifacts –

formal-verification.yml

on: pull_request
apply-diff
3s
apply-diff
verify
0s
verify
Fit to window
Zoom out
Zoom in