Skip to content
Test cvc5

Print bitvectors and fps in hexadecimal #37

Sign in to view logs

Print bitvectors and fps in hexadecimal

Print bitvectors and fps in hexadecimal #37

Triggered via pull request June 27, 2024 18:32
@filipeomfilipeom
synchronize #166
print-hex-nums
Status Success
Total duration 2m 36s
Artifacts –

test-cvc5.yml

on: pull_request
test-cvc5
2m 26s
test-cvc5
Fit to window
Zoom out
Zoom in