From: Clark Barrett Date: Wed, 16 Nov 2016 23:54:48 +0000 (-0800) Subject: Merge pull request #108 from timothy-king/smt2-parser-exception-leaks X-Git-Tag: cvc5-1.0.0~5975 X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=ba7dd534de8f5d9bd746a7ed4c4a7b6ba11628e3;p=cvc5.git Merge pull request #108 from timothy-king/smt2-parser-exception-leaks Adding garbage collection for the Smt2 Parser for Commands when excep… --- ba7dd534de8f5d9bd746a7ed4c4a7b6ba11628e3