klee/klee — pull request #160 by MartinNowack (2014-09-15 11:24:09+00:00)
Title: Generate fake files for test cases

Make the generation of test files deterministic.