From: Tim King <taking@cs.nyu.edu>
Date: Tue, 8 Nov 2016 00:04:57 +0000 (-0800)
Subject: Merge pull request #104 from timothy-king/disabling-out-of-memory-tests-on-asan
X-Git-Tag: cvc5-1.0.0~5996
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=1f9f7a3bd665575fd25f0fe93547ee0564cc18c9;p=cvc5.git

Merge pull request #104 from timothy-king/disabling-out-of-memory-tests-on-asan

Disabling out of memory tests unit tests when ASAN is enabled. ASAN f…
---

1f9f7a3bd665575fd25f0fe93547ee0564cc18c9