Skip to content
Test cvc5

Print bitvectors and fps in hexadecimal #36

Sign in to view logs

Print bitvectors and fps in hexadecimal

Print bitvectors and fps in hexadecimal #36

Triggered via pull request June 27, 2024 14:41
@filipeomfilipeom
opened #166
print-hex-nums
Status Success
Total duration 2m 34s
Artifacts –

test-cvc5.yml

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