Skip to content
Formal verification

Skip disassembly of test cases in riscof plugin #51

Sign in to view logs

Skip disassembly of test cases in riscof plugin

Skip disassembly of test cases in riscof plugin #51

Triggered via push October 16, 2023 19:42
@olofkolofk
pushed ed4b819
main
Status Success
Total duration 6m 57s
Artifacts –

formal.yml

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