projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: d9608e2) | patch
Disabling out of memory tests unit tests when ASAN is enabled. ASAN failures are...
authorTim King <taking@google.com>
Mon, 7 Nov 2016 21:38:53 +0000 (13:38 -0800)
committerTim King <taking@google.com>
Mon, 7 Nov 2016 21:38:53 +0000 (13:38 -0800)
commitedcaaa68d802f2c58eedee94d494737b12c11acc
treefbe3f6e91e29024a4c9287c432c896e31d5a3d82tree
parentd9608e29789960cd50704689d39e9a35d01be321commit | diff
Disabling out of memory tests unit tests when ASAN is enabled. ASAN failures are too hard for the unit testing framework.
test/unit/context/cdlist_black.h diff | blob | history
test/unit/context/cdlist_context_memory_black.h diff | blob | history
test/unit/context/cdvector_black.h diff | blob | history
test/unit/memory.h diff | blob | history