Skip to content
Build and Run Simulation

Add Formal #46

Sign in to view logs

Add Formal

Add Formal #46

Triggered via pull request September 21, 2024 14:58
@Clo91eafClo91eaf
synchronize #18
try_formal
Status Failure
Total duration 48s
Artifacts –

main.yml

on: pull_request
Build Simulators
28s
Build Simulators
Run VCS
25s
Run VCS
Run Verilator
6s
Run Verilator
Run Formal Verification
24s
Run Formal Verification
Fit to window
Zoom out
Zoom in

Annotations

1 error
Run Formal Verification
Process completed with exit code 1.