about summary refs log tree commit diff homepage
path: root/test
AgeCommit message (Expand)Author
2014-10-09Fixed passing of long double (and other big types) in var_args on x86_64. Rem...Willem
2014-10-09Add (currently failing) test to check for correct long double alignment in va...Willem
2014-10-08Fixes support for passing arguments to klee in the ConcreteTests.Willem
2014-09-15Generate fake files for test casesMartin Nowack
2014-09-15Merge pull request #157 from MartinNowack/fix_posix_printoutCristian Cadar
2014-09-15Remove --read-args command line option because this feature has beenDan Liew
2014-09-14[Core] Fix a bug in how source file names were written in .istats files.Daniel Dunbar
2014-09-14[Module] Try harder to associate each instruction with source level debug info.Daniel Dunbar
2014-09-14[tests] Enable running tests in parallel.Daniel Dunbar
2014-09-14[Core] Remove support for "--use-asm-addresses".Daniel Dunbar
2014-09-14Use klee-libc for this test, as it runs when configured w/o uclibc.Daniel Dunbar
2014-09-14Enable test case againMartin Nowack
2014-09-14Use not test instead of non-existing FAIL.Martin Nowack
2014-09-14Fix testcase FD_Fail2.cMartin Nowack
2014-09-14[Travis] Disable Write2 on Travis with LLVM-3.4 for now, to see if this preve...Daniel Dunbar
2014-09-14Upgrade ConcreteTest.py to work with Python3 (Python 2.7.x should stillDan Liew
2014-09-13[tests] Add support for testing LLVM version in REQUIRES: and XFAIL: lines.Daniel Dunbar
2014-09-13[test/Concrete] Remove the Invoke*.ll tests.Daniel Dunbar
2014-09-13[test/Concrete] Update LLVM IR syntax.Daniel Dunbar
2014-09-13test/lit.site.cfg is never deleted, leading to misconfiguration errors.Cristian Cadar
2014-09-13These tests require --optimize=false to run successfully.Cristian Cadar
2014-09-12[Module] Fix handling of instructions without debug info.Daniel Dunbar
2014-09-12[tests] Run 'make clean' prior to starting tests.Daniel Dunbar
2014-09-12[tests] Add a workaround to try and prevent llvm-gcc from calling putchar(), ...Daniel Dunbar
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
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-11-25 22:26:57 +0000