search for: symbolicarraysingletonmap

.../klee/src/unittests/Expr/ExprTest.cpp:32:24 #3 0x526410 in testing::Test::Run() (/home/dsl11/dev/klee/klee/build_asan/unittests/Expr/Release+Asserts/ExprTests+0x526410) ``` The source of the trouble is this static object. ``` std::map<unsigned, std::vector<const Array *> *> Array::symbolicArraySingletonMap; ``` Neither the ``std::vector<const Array*>`` pointers or the ``const Array`` pointers are being freed. Sure this code is bad (don't blame me, I didn't write it), but I want to skip over this leak to find more interesting issues. I can't seem to suppress it though. I've tri...