Test Bitwuzla

Don't hc bool values unecessarily #104

Sign in to view logs

Triggered via pull request June 22, 2024 20:24

filipeom

synchronize #157

filipeom-patch-1

Status Failure

Total duration 3m 9s

Artifacts –

test-bitwuzla.yml

on: pull_request

Annotations

1 error

test-bitwuzla

Process completed with exit code 31.