projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: bf385ca) | patch
Fix context memory manager unit test (#1609)
authorAndres Noetzli <andres.noetzli@gmail.com>
Thu, 15 Feb 2018 18:26:08 +0000 (10:26 -0800)
committerAina Niemetz <aina.niemetz@gmail.com>
Thu, 15 Feb 2018 18:26:08 +0000 (10:26 -0800)
commit52a39aca19b7238d08c3cebcfa46436a73194008
tree4040dccfc8742b44dd7fca9b7c6b5509a9968209tree
parentbf385ca69a958e0939524d8fbcf988c1fb45d131commit | diff
Fix context memory manager unit test (#1609)

Commit 83f150c727f197c530d6f46a75b516eea52bed29 changed the flag
that we use to determine whether to use the context memory manager
or the debug version. However, the change was not reflected in
the context memory manager unit test. This commit fixes the unit
test to check the correct flag.
test/unit/context/context_mm_black.h diff | blob | history