Skip to content
Formal verification

Enable zicsr flag for GCC #143

Sign in to view logs

Enable zicsr flag for GCC

Enable zicsr flag for GCC #143

Triggered via push March 1, 2025 15:05
@olofkolofk
pushed 842c2df
main
Status Success
Total duration 4m 48s
Artifacts –

formal.yml

on: push
Run RISCV-formal verification suite
4m 39s
Run RISCV-formal verification suite
Fit to window
Zoom out
Zoom in