ccadar/klee — pull request #69 by MartinNowack (2013-11-14 20:13:37+00:00)
Title: Fix runtime posix

Fixes implementation of lseek and getdents on 64bit machines.
Test cases DirSeek and DirConsistency are working again.

Removes unused testing-dir. Or any objections for that?