diff options
| author | Martin Nowack <m.nowack@imperial.ac.uk> | 2019-12-12 15:18:58 +0000 |
|---|---|---|
| committer | Cristian Cadar <c.cadar@imperial.ac.uk> | 2020-02-13 18:13:00 +0000 |
| commit | 0e34aab465c361b4dd3b7f1d5ff40b312922f921 (patch) | |
| tree | 349a342b6ea8dcf6b0888bfac82bbfc41aa28a85 /test | |
| parent | a34c5c7604f110a45f20c999f6ff970336673886 (diff) | |
| download | klee-0e34aab465c361b4dd3b7f1d5ff40b312922f921.tar.gz | |
Replace old TR1 implementations of unordered_map/set with std::* versions
TR1 implementation got replaced by the std::* equivalents with C++11. Start to use the standard versions instead of the old ones.
Diffstat (limited to 'test')
0 files changed, 0 insertions, 0 deletions