Add support for union values in traces for incremental smt2 decision procedure#7990

Merged

thomasspriggs merged 2 commits intodiffblue:developfrom

thomasspriggs:tas/smt_union_traces

Nov 1, 2023

Commits on Nov 1, 2023

Add support for get of union values from smt2 decision procedure
thomasspriggs
committed
Add regression test for smt2 union support with `--trace`
thomasspriggs
committed