Test Bitwuzla

Add Alt-Ergo #322

Sign in to view logs

Triggered via pull request October 9, 2024 18:08

hra687261

opened #228

hra687261:add_alt-ergo

Status Failure

Total duration 5m 17s

Artifacts –

test-bitwuzla.yml

on: pull_request

Annotations

1 error

test-bitwuzla

Process completed with exit code 1.