Test Bitwuzla

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

Sign in to view logs

Triggered via pull request October 7, 2024 19:14

filipeom

synchronize #227

from-file

Status Success

Total duration 5m 25s

Artifacts –

test-bitwuzla.yml

on: pull_request