feat: creating an smt checker for standard_circuit_builder #881

Sign in to view logs

Triggered via pull request July 27, 2023 15:28

Sarkoxed

synchronize #622

as/smt_checker

Status Skipped

Total duration 3s

Artifacts –

noir.yml

on: pull_request

Test Noir against PR