diff options
| author | Cristian Cadar <c.cadar@imperial.ac.uk> | 2023-03-14 20:25:11 +0000 |
|---|---|---|
| committer | Cristian Cadar <c.cadar@imperial.ac.uk> | 2023-03-16 15:54:38 +0000 |
| commit | 7a4a9b9b47d2fe9b90cee95d68d89faa24a118d4 (patch) | |
| tree | 42425ff763f928e06c6fbaf6f8910c89eae38ac9 /unittests/Ref/CMakeLists.txt | |
| parent | 7e49c161b76c687f5813e81305ca6697a397478a (diff) | |
| download | klee-7a4a9b9b47d2fe9b90cee95d68d89faa24a118d4.tar.gz | |
Fixed a bug in KLEE libc's implementation of strcmp: according to the C standard, characters should be compared as unsigned chars.
Diffstat (limited to 'unittests/Ref/CMakeLists.txt')
0 files changed, 0 insertions, 0 deletions