about summary refs log tree commit diff homepage
path: root/test
AgeCommit message (Expand)Author
2014-09-12[tests] Rewrite MemoryLimit test to use larger allocations for "little" test ...Daniel Dunbar
2014-09-12[tests] Dramatically scale back the forks limit for our ImmutableSet test.Daniel Dunbar
2014-09-12[tests] Set --output-dir on all test runs, in support of running tests in par...Daniel Dunbar
2014-09-12[tests] Update ConcreteTest to use --output-dir.Daniel Dunbar
2014-09-12Add a README for the Concrete tests.Daniel Dunbar
2014-09-12Fix up ConstantExpr to be deterministic with 64-bit addresses.Daniel Dunbar
2014-09-12Add support for testing Concrete tests via lit.Daniel Dunbar
2014-09-12Fix up Concrete Makefile to not remove outputs, so tests can run in parallel.Daniel Dunbar
2014-09-12Rewrite ConcreteTest.py to only run one test at a time.Daniel Dunbar
2014-09-12Update Concrete test Makefile for LLVM changes.Daniel Dunbar
2014-09-12Update testingUtils to use printf(), putchar() isn't a known external functio...Daniel Dunbar
2014-09-12Update FloatingPointOps concrete test case for LLVM changes.Daniel Dunbar
2014-09-12XFAIL LargeReturnTypes.cpp on Darwin, it depends indirectly on using libstdcxx.Daniel Dunbar
2014-07-04Fix regression reported by Michael Esser and Andrew WatsonDan Liew
2014-05-16Changed StaticDestructor.cpp to use uclibc and disable optimizations explicitly.Cristian Cadar
2014-04-14Fix test case to support new llvm-litMartin Nowack
2014-04-14Update to new lit configuration to support changes in LLVM3.4Martin Nowack
2014-04-02Modify the SMT-LIB printer to declare arrays in a deterministic (alphabetical...Peter Collingbourne
2014-02-24Improved DumpStatesOnHalt.c to make sure there is always more than one instru...Cristian Cadar
2014-02-24Fixed AliasFunction.c and AliasFunctionExit.c to work also when optimizations...Cristian Cadar
2014-02-14Added C test case that checks that concrete and symbolic overshiftDan Liew
2014-02-14Fixed overshift of arithmetic right shift by constant so that itDan Liew
2014-02-14Fixed overshift of arithmetic right shift by symbolic so that it overshiftsDan Liew
2014-02-14Added C test case that checks that concrete and symbolic overshiftDan Liew
2014-02-14Fixed overshift of logical right shift by constant so that itDan Liew
2014-02-14Fixed overshift of logical right shift by symbolic so that it overshiftsDan Liew
2014-02-14Added C test case that checks that concrete and symbolic overshiftDan Liew
2014-02-14Fixed overshifting an expression by a constant so that we overshift toDan Liew
2014-02-14Added a test case for testing overshift behaviour of Shl and fixedDan Liew
2014-02-09Merge pull request #100 from delcypher/pass-param-llvm-litCristian Cadar
2014-02-04Explicitly propagate CPLUS_INCLUDE_PATH and C_INCLUDE_PATH environmentDan Liew
2014-01-29Fix Runtime/POSIX/Isatty.c test under LLVM3.3. The program makesDan Liew
2014-01-28Allow passing arbitrary command line flags to klee and kleaverDan Liew
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