Skip to content

Add Formal

Add Formal #54

Triggered via pull request September 22, 2024 03:45
@Clo91eafClo91eaf
synchronize #18
try_formal
Status Success
Total duration 1m 2s
Artifacts

main.yml

on: pull_request
Build Simulators
30s
Build Simulators
Run VCS
32s
Run VCS
Run Verilator
22s
Run Verilator
Run Formal Verification
42s
Run Formal Verification
Fit to window
Zoom out
Zoom in