about summary refs log tree commit diff homepage
path: root/test/regression
AgeCommit message (Expand)Author
2013-08-28Fix test case to use llvm-link instead of llvm-ldMartin Nowack
2012-11-28Removed fragile test which does not work anymore with clang/llvm 3.1.Cristian Cadar
2012-05-25Patch by Paul Marinescu that makes KLEE gracefully fail on assembly code.Cristian Cadar
2011-07-20Updates for LLVM 3.0. Based on changes by arrowdodger, thanks!Peter Collingbourne
2010-04-05Fix some tests w/ objdir != srcdir.Daniel Dunbar
2009-05-23Changed bout to ktest. Kept "BOUT\n" as the header of test files, for backwa...Cristian Cadar
2009-05-22Add "name" argument to klee_make_symbolic, and kill off klee_make_symbolic_name.Daniel Dunbar
2009-05-21Initial KLEE checkin.Daniel Dunbar