diff options
| author | Andres Notzli <andres.noetzli@gmail.com> | 2016-11-02 16:55:37 -0700 |
|---|---|---|
| committer | Andres Notzli <andres.noetzli@gmail.com> | 2016-11-02 17:09:55 -0700 |
| commit | 520e4a0638675dad2fa66a50e5fd64786c6f889f (patch) | |
| tree | 008e517455ecfcdfa3d25a17d2ba73a9638d0593 /src/theory/uf/theory_uf.cpp | |
| parent | f1427165156dff24d7b8ca0690088e4182ccdbd4 (diff) | |
Fix back() of empty deque in context_mm_black test
The `testPushPop()` test case does a pop out of scope at the end that
lead to UB in `ContextManager::pop()` because it did a `deque::back()`
on an empty deque without checking. This commit adds an assertion in the
`ContextManager` and checks that the test case triggers the assertion.
Diffstat (limited to 'src/theory/uf/theory_uf.cpp')
0 files changed, 0 insertions, 0 deletions