about summary refs log tree commit diff homepage
path: root/test/Programs
AgeCommit message (Collapse)Author
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