Skip to content
Test cvc5

Print bitvectors and fps in hexadecimal #38

Sign in to view logs

Print bitvectors and fps in hexadecimal

Print bitvectors and fps in hexadecimal #38

Triggered via pull request June 28, 2024 09:30
@filipeomfilipeom
synchronize #166
print-hex-nums
Status Success
Total duration 2m 50s
Artifacts –

test-cvc5.yml

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