about summary refs log tree commit diff homepage
path: root/test/Programs
AgeCommit message (Collapse)Author
2014-01-20Remove the last remnants (I think) of DejaGNU. Goodbye!Dan Liew
Say hello to our new friend, llvm-lit :)
2009-07-30pcregrep.c isn't going to work on x86_64.Daniel Dunbar
git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@77574 91177308-0d34-0410-b5e6-96231b3b80d8
2009-06-13pcregrep should run with klee-libc.Daniel Dunbar
git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@73312 91177308-0d34-0410-b5e6-96231b3b80d8
2009-06-13Add CBE'ified version of pcregrep.Daniel Dunbar
- Cleaned up enough to build on Darwin & Linux. - I don't really care to have too many programs in the test suite, but this works until we have some better place for them. git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@73303 91177308-0d34-0410-b5e6-96231b3b80d8