Syntactic checks

SMT2: bvnor, bvnand are binary only; add bvxnor #2865

Sign in to view logs

Triggered via pull request November 18, 2024 14:16

kroening

synchronize #8508

smt-bv

Status Success

Total duration 1m 24s

Artifacts –

syntax-checks.yaml

on: pull_request

check-clang-format