Test Bitwuzla

Fix parsing for .smt2 files #287

Sign in to view logs

Triggered via pull request September 28, 2024 11:06

opened #219

fix-parsing

Status Success

Total duration 8m 52s

Artifacts –

test-bitwuzla.yml

on: pull_request