fix leak of z3 buffer - SemanticDiff

Commit

282 days ago

fix leak of z3 buffer Signed-off-by: Masahiro Tanaka <mtanaka@microsoft.com> Signed-off-by: Logan Adams <loadams@microsoft.com>