diff options
| author | Andrew Chi <achi@cs.unc.edu> | 2015-09-24 15:14:28 -0400 |
|---|---|---|
| committer | Andrew Chi <achi@cs.unc.edu> | 2015-09-25 11:06:47 -0400 |
| commit | 094e356340d523f09697a76e42e65cc951828253 (patch) | |
| tree | 5f85c6a9fc462569be9c4c0ac5ec38ec10bba357 /TODO.txt | |
| parent | e8fded10ccdaea3d9d72d178506d6aebb799394e (diff) | |
| download | klee-094e356340d523f09697a76e42e65cc951828253.tar.gz | |
Don't use /tmp for futimesat unit test
This causes problems on a shared machine where multiple users are running the KLEE unit tests.
Diffstat (limited to 'TODO.txt')
0 files changed, 0 insertions, 0 deletions