diff options
| author | Frank Busse <bb0xfb@gmail.com> | 2014-04-04 15:05:42 +0200 |
|---|---|---|
| committer | Martin Nowack <martin@se.inf.tu-dresden.de> | 2014-04-14 10:34:54 +0200 |
| commit | 8382ea75c68696b76cafc03f00235f988277f9b0 (patch) | |
| tree | 961e0d0fdaebdc9cc46506a9bfa0289960b87a2a /lib/Solver/STPBuilder.cpp | |
| parent | 3ca2809ec59d1fea913c3df23eb3f9539b8d87cc (diff) | |
| download | klee-8382ea75c68696b76cafc03f00235f988277f9b0.tar.gz | |
fix TOCTOU and simplify output directory creation
Diffstat (limited to 'lib/Solver/STPBuilder.cpp')
0 files changed, 0 insertions, 0 deletions