klee/klee — pull request #179 by hpalikareva (2014-12-02 18:50:51+00:00)
Title: libstdcxx's c++11 support for unordered sets and maps confined only to t...

...he scope of KLEE (metaSMT's boost implementation does not support that)