Test Bitwuzla

Fix parsing for .smt2 files #289

Sign in to view logs

Triggered via pull request September 29, 2024 14:59

synchronize #219

fix-parsing

Status Success

Total duration 5m 49s

Artifacts –

test-bitwuzla.yml

on: pull_request