Enable SMT tests fixed by rudimentary struct support#7745

thomasspriggs merged 1 commit intodiffblue:developdiffblue/cbmc:developfrom

thomasspriggs:tas/enable_smt_struct_teststhomasspriggs/cbmc:tas/enable_smt_struct_testsCopy head branch name to clipboard