about summary refs log tree commit diff homepage
path: root/test/CXX
AgeCommit message (Expand)Author
2019-03-17Fix libc++ testcasesMartin Nowack
2019-03-17Added libcxx flagLukas Wölfer
2019-03-13Renamed --no-output to --write-no-tests and placed it in the test case catego...Cristian Cadar
2019-03-07tests: rename xxclang to clangxxFrank Busse
2019-03-07Renamed %llvmgcc and %llvmgxx to %clang and %clangxx respectively.Cristian Cadar
2018-11-05Fixed crash on zero size arraysLukas Wölfer
2018-11-02Replaced --no-externals and --allow-external-sym-calls with --external-calls,...Cristian Cadar
2018-10-26llvm5: test, add -disable-O0-optnone to -O0Jiri Slaby
2018-09-06Use FileCheck and LINE instead of grep if possibleMartin Nowack
2014-09-14Use klee-libc for this test, as it runs when configured w/o uclibc.Daniel Dunbar
2014-09-12[tests] Set --output-dir on all test runs, in support of running tests in par...Daniel Dunbar
2014-05-16Changed StaticDestructor.cpp to use uclibc and disable optimizations explicitly.Cristian Cadar
2014-01-20Remove the last remnants (I think) of DejaGNU. Goodbye!Dan Liew
2010-04-05Fix -emit-llvm spelling (although, these aren't actually needed).Daniel Dunbar
2009-08-03Fix computation of GetElementPtr offset for 64-bit targets.Daniel Dunbar
2009-08-02Disable this test, KLEE's new[] implementation is broken; surprisingly thisDaniel Dunbar
2009-05-21Initial KLEE checkin.Daniel Dunbar
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-11-11 04:05:11 +0000