Skip to content
Format and Verify VOSTD (PhaseII)

PhaseII verified: Temporal logic and state machines #34

Sign in to view logs

PhaseII verified: Temporal logic and state machines

PhaseII verified: Temporal logic and state machines #34

Triggered via pull request November 4, 2025 06:33
@rikosellicrikosellic
synchronize #213
rikosellic:mutexspec
Status Failure
Total duration 7m 10s
Artifacts –

ci.yml

on: pull_request
format-and-verify
7m 4s
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