Skip to content
formal verification

update financing vesting wallet testing function #2

Sign in to view logs

update financing vesting wallet testing function

update financing vesting wallet testing function #2

Triggered via pull request July 18, 2025 11:48
@rosedev318rosedev318
opened #2
rosedev
Status Failure
Total duration 38s
Artifacts –

formal-verification.yml

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

Annotations

2 errors
apply-diff
Process completed with exit code 2.
halmos
Process completed with exit code 1.