MartinNowack/klee — pull request #1 by 251 (2014-04-04 13:17:22+00:00)
Title: fix TOCTOU and simplify output directory creation

This patch simplifies the directory creation, fixes the mkdir TOCTOU and uses warnings instead of errors for linking errors of klee-last (may happen with multiple KLEE processes).