feat: properly track equivalence of witnesses generated for black box functions #2562

Sign in to view logs

Triggered via pull request November 3, 2023 17:47

TomAFrench

synchronize #3428

tf/track-bb-witness-equivalence

Status Success

Total duration 5m 5s

Artifacts –

test-rust-workspace.yml

on: pull_request

Matrix: test