Skip to content

flattening: use update_bits_exprt for 'with' on bit-vectors

GitHub Advanced Security / CodeQL succeeded Feb 4, 2024 in 4s

No new alerts in code changed by this pull request

View all branch alerts.