diff options
| author | Cristian Cadar <c.cadar@imperial.ac.uk> | 2024-02-22 22:37:34 +0000 |
|---|---|---|
| committer | MartinNowack <2443641+MartinNowack@users.noreply.github.com> | 2024-02-27 09:45:01 +0000 |
| commit | 7a640c68ba7517b4a64f2cd684e91bd3de804580 (patch) | |
| tree | 62388a9dc29e1641016d537b5838fd6b1944c87f /lib/Core/StatsTracker.h | |
| parent | a802c6dfd600f81d6131c055685188e0ac08bb9e (diff) | |
| download | klee-7a640c68ba7517b4a64f2cd684e91bd3de804580.tar.gz | |
Extend toConstant() to take an additional boolean argument that decides whether the expression is concretised. Also changed a C string argument to std::string.
Diffstat (limited to 'lib/Core/StatsTracker.h')
0 files changed, 0 insertions, 0 deletions