about summary refs log tree commit diff homepage
path: root/test
AgeCommit message (Expand)Author
2014-01-20Hide make check command unless using VERBOSE make variable.Dan Liew
2014-01-20Explicitly use only one thread when invoking llvm-lit in TestRunner.shDan Liew
2014-01-20Fixed test cases that fail if using an in-source buildDan Liew
2014-01-20Only run klee-uclibc tests if KLEE was configured with klee-uclibcDan Liew
2014-01-20Partially fix python detection for running llvm-lit.Dan Liew
2014-01-20Remove the last remnants (I think) of DejaGNU. Goodbye!Dan Liew
2014-01-20Give absolute paths to KLEE's tools in lit.cfg . This fixes a longDan Liew
2014-01-20Only run SELinux test if support for SELinux was detected at configureDan Liew
2014-01-20Added Runtime/POSIX/lit.local.cfg file that prevents the POSIXDan Liew
2014-01-20Fixed tests where llvm-gcc was called without the -emit-llvm flag.Dan Liew
2014-01-20Add lit.local.cfg file for test/Concrete so no tests are executedDan Liew
2014-01-20Removed all of llvm-lit's dependence on DejaGNU. A few thingsDan Liew
2014-01-20Fixed Feature/InAndOutOfBounds.c so it did not make use of ! whichDan Liew
2014-01-20Force python2 to be used when running llvm-lit. This needs to be fixedDan Liew
2014-01-20Fix Feature/Envp.c test for llvm-lit by providing the PWD environmental variableDan Liew
2014-01-20Fixed Feature/LongDouble.cpp test for llvm-lit by removed use ofDan Liew
2014-01-20Fixed many tests that make use of the file tool to checkDan Liew
2014-01-20Allow llvm-lit from 2.9 to work by hacking %T substitution variable.Dan Liew
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
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-11-23 18:41:44 +0000