Skip to content
Build and Run Simulation

Add Formal #49

Sign in to view logs

Add Formal

Add Formal #49

Triggered via pull request September 21, 2024 16:54
@Clo91eafClo91eaf
synchronize #18
try_formal
Status Failure
Total duration 51s
Artifacts –

main.yml

on: pull_request
Build Simulators
21s
Build Simulators
Run VCS
30s
Run VCS
Run Verilator
27s
Run Verilator
Run Formal Verification
21s
Run Formal Verification
Fit to window
Zoom out
Zoom in

Annotations

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