Test Bitwuzla

Add set data structure and new benchmarking dir #223

Sign in to view logs

Triggered via pull request August 31, 2024 07:47

filipeom

synchronize #201

improve-cached

Status Failure

Total duration 4m 8s

Artifacts –

test-bitwuzla.yml

on: pull_request

Annotations

1 error

test-bitwuzla

Process completed with exit code 1.