3 ms·
https://github.com/diffblue/cbmc/issues/7732 https://github.com/diffblue/cbmc/issues/7732 I'll note that some form of undefined behavior checking / documentatio
by philzook 3y ago
https://github.com/diffblue/cbmc/issues/7732 https://github.com/diffblue/cbmc/issues/7732 I'll note that some form of undefined behavior checking / documentation is on the roadmap for the next major version