Skip to content

Fixing LEC Formality_Error_Code reported in caliptra_prim_assert_sec_… #103

Fixing LEC Formality_Error_Code reported in caliptra_prim_assert_sec_…

Fixing LEC Formality_Error_Code reported in caliptra_prim_assert_sec_… #103

Triggered via pull request September 13, 2023 16:36
Status Success
Total duration 42m 3s
Artifacts 2

interactive-debugging.yml

on: pull_request
Run GDB debugging tests
19m 49s
Run GDB debugging tests
Run OpenOCD debugging tests
6m 46s
Run OpenOCD debugging tests
Fit to window
Zoom out
Zoom in

Annotations

1 warning
build_verilator
Cache save failed.

Artifacts

Produced during runtime
Name Size
openocd Expired
1.98 MB
verilator Expired
107 MB