Update to CBMC 5.11 - Githubissues

2 releases at once this time, since 5.10 required only a small test change (see the commit). The next release is probably going to be tough...

CBMC 5.11 most important changes:

abstract interpretation changes, transform now takes function name, operator() as well. This required changing the passed arguments to various objects/methods in a lot of places
output method removed from various objects, e.g. from goto_modelt, replaced with show_goto_functions function
lhs_object has been removed from goto_step_tracet, I am not very confident about my fix in https://github.com/diffblue/2ls/commit/b35aedb6e79b66feff3f97004f82ce511b55a240 ...
pointer_offset_size now returns std::optional

diffblue / 2ls