Skip to content
Build and Run Simulation

Add Formal #42

Sign in to view logs

Add Formal

Add Formal #42

Triggered via pull request September 20, 2024 16:37
@sequencersequencer
synchronize #18
try_formal
Status Success
Total duration 2m 17s
Artifacts –

main.yml

on: pull_request
Build Simulators
11s
Build Simulators
Run VCS
2m 1s
Run VCS
Run Verilator
1m 52s
Run Verilator
Fit to window
Zoom out
Zoom in