Test Bitwuzla

Add `--from-file` argument to `run` command #319

Sign in to view logs

Triggered via pull request October 7, 2024 18:15

filipeom

opened #227

from-file

Status Success

Total duration 5m 27s

Artifacts –

test-bitwuzla.yml

on: pull_request