about summary refs log tree commit diff homepage
path: root/test/Runtime/Uclibc
AgeCommit message (Expand)Author
2014-09-12[tests] Set --output-dir on all test runs, in support of running tests in par...Daniel Dunbar
2014-01-20Only run klee-uclibc tests if KLEE was configured with klee-uclibcDan Liew
2014-01-20Remove the last remnants (I think) of DejaGNU. Goodbye!Dan Liew
2010-06-21Applied Stefan Bucur's patch that fixes a non-deterministic bug in theCristian Cadar
2009-05-21Initial KLEE checkin.Daniel Dunbar