diff options
author | Daniel Schemmel <daniel@schemmel.net> | 2023-10-17 12:05:22 +0100 |
---|---|---|
committer | Cristian Cadar <c.cadar@imperial.ac.uk> | 2023-10-23 23:35:51 +0300 |
commit | fc83f06b17221bf5ef20e30d9da1ccff927beb17 (patch) | |
tree | e6b93f0cafb278d42073fe7e1c97c3b955a2344d /unittests/Expr/ExprTest.cpp | |
parent | 9edf8e8bba51f2d217ead0a9b2469b0b551ad255 (diff) | |
download | klee-fc83f06b17221bf5ef20e30d9da1ccff927beb17.tar.gz |
replace deprecated (as of c++20) std::is_pod with std::trivial && std::is_standard_layout
Diffstat (limited to 'unittests/Expr/ExprTest.cpp')
0 files changed, 0 insertions, 0 deletions