`bitvector_typet`: set width from mp_integer #8921

Sign in to view logs

Triggered via pull request September 27, 2024 23:11

kroening

opened #8477

bitvector_width_biginteger

Status Failure

Total duration 5m 41s

Artifacts –

csmith.yaml

on: pull_request

run-10-random-tests

Annotations

1 error

run-10-random-tests

Process completed with exit code 2.