feat: --solver-command lets user replace z3 invocations #48

Sign in to view logs

Triggered via push April 11, 2024 21:08

fubuloubu

main

Status Success

Total duration 16m 12s

Artifacts –

test-long.yml

on: push

Matrix: test