diff options
author | Andres Noetzli <andres.noetzli@gmail.com> | 2018-02-15 10:26:08 -0800 |
---|---|---|
committer | Aina Niemetz <aina.niemetz@gmail.com> | 2018-02-15 10:26:08 -0800 |
commit | 52a39aca19b7238d08c3cebcfa46436a73194008 (patch) | |
tree | 4040dccfc8742b44dd7fca9b7c6b5509a9968209 /test/regress/regress0/bug681.smt2 | |
parent | bf385ca69a958e0939524d8fbcf988c1fb45d131 (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.
Diffstat (limited to 'test/regress/regress0/bug681.smt2')
0 files changed, 0 insertions, 0 deletions