Skip to content
Test cvc5

Fix Colibri2 mapping of cvtop operations #139

Sign in to view logs

Fix Colibri2 mapping of cvtop operations

Fix Colibri2 mapping of cvtop operations #139

Re-run triggered September 16, 2024 22:42
@filipeomfilipeom
8b16db4
main
Status Success
Total duration 16m 13s
Artifacts –

test-cvc5.yml

on: push
test-cvc5
16m 3s
test-cvc5
Fit to window
Zoom out
Zoom in