Build and run tests with Verific (Linux)

smt2: fix bitwuzla invocation #947

Sign in to view logs

Re-run triggered September 8, 2024 22:18

KrystalDelusion

#4589

mattyoung101:main

Status Success

Total duration 13m 34s

Artifacts –

test-verific.yml

on: pull_request