diff options
author | Tim King <taking@cs.nyu.edu> | 2016-11-07 16:04:57 -0800 |
---|---|---|
committer | GitHub <noreply@github.com> | 2016-11-07 16:04:57 -0800 |
commit | 1f9f7a3bd665575fd25f0fe93547ee0564cc18c9 (patch) | |
tree | fbe3f6e91e29024a4c9287c432c896e31d5a3d82 /src/theory/sep/theory_sep.cpp | |
parent | d9608e29789960cd50704689d39e9a35d01be321 (diff) | |
parent | edcaaa68d802f2c58eedee94d494737b12c11acc (diff) |
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…
Diffstat (limited to 'src/theory/sep/theory_sep.cpp')
0 files changed, 0 insertions, 0 deletions