Skip to content
Back to pull request #997

Further SV improvements #12

Sign in to view logs

Further SV improvements

Further SV improvements #12

Triggered via pull request February 14, 2025 00:05
@AlasdairAlasdair
opened #997
ite_simp_sv
Status Success
Total duration 11m 59s
Artifacts 6

test-matrix.yml

on: pull_request
Matrix: build
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size
event.json
2.98 KB
test-results-exec
165 KB
test-results-other
148 KB
test-results-prover
172 KB
test-results-sv
161 KB
test-results-typecheck
154 KB