diff options
| author | Martin Nowack <martin@se.inf.tu-dresden.de> | 2014-04-15 14:36:59 +0200 |
|---|---|---|
| committer | Martin Nowack <martin@se.inf.tu-dresden.de> | 2014-04-15 14:36:59 +0200 |
| commit | 78e06cb737e3e54e6c7035822f39961679e7b367 (patch) | |
| tree | 69bcaf2485b5b0dcecc32002de9335b667f65d0b /lib/Core/ExternalDispatcher.cpp | |
| parent | 60ebbf13d6b6d3522008a7b0553e5bfec1864c71 (diff) | |
| download | klee-78e06cb737e3e54e6c7035822f39961679e7b367.tar.gz | |
Fix handling of path name creation.
If directory has no trailing slash, the slash is not addedd if concatenated
Diffstat (limited to 'lib/Core/ExternalDispatcher.cpp')
0 files changed, 0 insertions, 0 deletions