[question] is a list of C11 UB up to date? #8567
Description
There is a list of supported C11 UB in CBMC. Last time it was updated 2 years ago (5 Sep 2023).
Is it up to date?
Does this page available on cprover.org site (I haven't found it)?
{{ message }}