Skip to content
Format and Verify VOSTD (PhaseII)

PhaseII verified: Temporal logic and state machines #18

Sign in to view logs

PhaseII verified: Temporal logic and state machines

PhaseII verified: Temporal logic and state machines #18

Triggered via pull request October 29, 2025 06:03
@rikosellicrikosellic
synchronize #213
rikosellic:mutexspec
Status Failure
Total duration 6m 45s
Artifacts –

ci.yml

on: pull_request
format-and-verify
6m 41s
format-and-verify
Fit to window
Zoom out
Zoom in

Annotations

3 errors
format-and-verify
Process completed with exit code 1.
format-and-verify
error: aborting due to 2 previous errors
Verification Failed
Verification errors found in the code