Syntactic checks

`bitvector_typet`: set width from mp_integer #2787

Sign in to view logs

Triggered via pull request September 28, 2024 17:25

kroening

synchronize #8477

bitvector_width_biginteger

Status Success

Total duration 1m 19s

Artifacts –

syntax-checks.yaml

on: pull_request

check-clang-format