Add validation messaging for sorts in SMT get-value responses#7094

Merged

thomasspriggs merged 2 commits intodiffblue:developfrom

thomasspriggs:tas/get-value-sort-validation

Sep 5, 2022

Commits on Sep 2, 2022