Add unit test of object size tracking for new SMT backend.#7311

thomasspriggs merged 1 commit intodiffblue:developdiffblue/cbmc:developfrom

thomasspriggs:tas/test_dynamic_object_sizesthomasspriggs/cbmc:tas/test_dynamic_object_sizesCopy head branch name to clipboard