Skip to content
Test FFI

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

Sign in to view logs

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

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

Triggered via push April 11, 2024 21:08
@fubuloubufubuloubu
pushed bbb7cc0
main
Status Success
Total duration 1m 19s
Artifacts –

test-ffi.yml

on: push
Matrix: test
Fit to window
Zoom out
Zoom in