about summary refs log tree commit diff homepage
path: root/test
AgeCommit message (Expand)Author
2014-01-20Put llvm tools directory at beginning of PATH list so that the LLVMDan Liew
2014-01-20Add LLVM tool directory to PATH when running tests with llvm-lit.Dan Liew
2014-01-20Fixed Expr/Parser/Simplify.pc test for llvm-lit. Escaped quote issue.Dan Liew
2014-01-20Fixed Expr/Parser/MultiByteReads.pc test.Dan Liew
2014-01-20Fixed Expr/Parser/ConstantFolding.pc test for llvm-lit (this probablyDan Liew
2014-01-20Removed use of deprecated Tcl parser for tests. This allowsDan Liew
2013-11-14Add additional note that testcase might fail ifMartin Nowack
2013-11-02Fix Futimesat compilation with newer gcc and clangMartin Nowack
2013-10-29Merge pull request #26 from delcypher/fix_divide_by_zeroPaul
2013-10-17Fixed solver-related nondeterminism in test case ./test/Feature/ExprLogging.c...Hristina Palikareva
2013-10-15Fixed nondeterministic behaviour in test case ./test/Solver/LargeIntegers.pc ...Hristina Palikareva
2013-10-14Replaced --libc=klee with --libc=uclibc in two tests (as for https://github.c...Cristian Cadar
2013-09-25Merge pull request #25 from paulmar/masterCristian Cadar
2013-09-23Lower intrinsic instruction "llvm.trap" to a call of the abort() function.Lei Zhang
2013-09-21Merge pull request #17 from MartinNowack/LLVM33Cristian Cadar
2013-09-02Implemented runtime check for overshift (controllable with --check-overshiftDan Liew
2013-09-02Fixed bug where divide by zero bugs would only be detected once in a programDan Liew
2013-08-29Added some of the common *at functions to the modelPaul Marinescu
2013-08-28Fix test case to use llvm-link instead of llvm-ldMartin Nowack
2013-08-27Port to LLVM 3.3Martin Nowack
2013-08-15Implemented llvm.umul.with.overflowMartin Nowack
2013-08-06Renaming solver-related command-line options in order to decouple them from S...Hristina Palikareva
2013-03-18Patch and test case by Jiri Slaby to handle "initializing globals whenCristian Cadar
2013-01-02Patch by Tomasz Kuchta that refactors the logging code, by introducing a new ...Cristian Cadar
2012-11-28Removed fragile test which does not work anymore with clang/llvm 3.1.Cristian Cadar
2012-11-28Only emitting a warning, instead of failing on large mallocs.Cristian Cadar
2012-11-28Fixed fragile test case that depended too much on the code generatedCristian Cadar
2012-10-24Patch by Dan Liew: "Added primitive test that checks kleaver's newCristian Cadar
2012-10-24Patch by Dan Liew which improves the logging options: "RemovedCristian Cadar
2012-09-12Restructured the command-line options for setting the searchCristian Cadar
2012-09-11Fixed test case to be independent of compiler optimizations and search heuris...Cristian Cadar
2012-07-20Fixed bug FPToSI bug reported by Peng Li. Added a simple test case. Cristian Cadar
2012-05-25Patch by Paul Marinescu that makes KLEE gracefully fail on assembly code.Cristian Cadar
2012-04-10Lowering support for the llvm.uadd.with.overflow intrinsic.Peter Collingbourne
2012-04-08Fixed --max-stp-time, which wasn't working unless --use-forked-stp wasCristian Cadar
2012-04-05Removed unnecessary --init-env option.Cristian Cadar
2011-08-01Make the Executor capable of handling bitcasts of aliases, by rewriting thePeter Collingbourne
2011-07-29Sign extend, rather than zero extend, narrow gep indicesPeter Collingbourne
2011-07-24Applied patch by Leandro Sales that makes Kleaver compatible with theCristian Cadar
2011-07-20Updates for LLVM 3.0. Based on changes by arrowdodger, thanks!Peter Collingbourne
2011-05-18Add ConstantStruct support to Executor::evalConstantPeter Collingbourne
2011-05-18Support for arbitrary sized types in ConstantExpr::fromMemoryPeter Collingbourne
2010-10-22Use %llvmgxx to compile a .cpp filePeter Collingbourne
2010-08-05Small fix to test case. Without -f, the test fails when 'make test'Cristian Cadar
2010-07-08Add support for InsertValue and ExtractValue instructionsPeter Collingbourne
2010-06-28Applied Stefan Bucur's patch fromCristian Cadar
2010-06-21Applied Stefan Bucur's patch that fixes a non-deterministic bug in theCristian Cadar
2010-05-02Sketch support for running KLEE tests using 'lit'.Daniel Dunbar
2010-04-05Fix some tests w/ objdir != srcdir.Daniel Dunbar
2010-04-05Add long double support, patch by David Ramos.Daniel Dunbar
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-11-27 03:58:18 +0000