index
:
~cnx/klee
this commit
1.0.x
1.1.x
1.2.x
1.3.x
1.4.x
2.0.x
2.1.x
2.2.x
2.3.x
3.0.x
master
psychic
svcomp
svcomp_32bit
KLEE fork for patch differentiation testing
about
summary
refs
log
tree
commit
diff
homepage
log msg
author
committer
range
path:
root
/
test
/
CXX
Age
Commit message (
Expand
)
Author
2021-04-18
tests: Invoke tools through their corresponding macros
Lukas Zaoral
2020-10-30
Mark the StaticDestructor test as failing on macOS
Cristian Cadar
2020-10-30
Optimize StaticDestructor test to be less fragile to compiler optimizations.
Cristian Cadar
2020-10-12
address MartinNowack's remaining feedback
Julian Büning
2020-10-12
Exception handling only for LLVM >= 8.0.0
Julian Büning
2020-10-12
Implemented support for C++ Exceptions
Felix Rath
2019-11-05
Most libc++ tests require uclibc; add missing REQUIRES statements or remove d...
Cristian Cadar
2019-03-17
Fix libc++ testcases
Martin Nowack
2019-03-17
Added libcxx flag
Lukas Wölfer
2019-03-13
Renamed --no-output to --write-no-tests and placed it in the test case catego...
Cristian Cadar
2019-03-07
tests: rename xxclang to clangxx
Frank Busse
2019-03-07
Renamed %llvmgcc and %llvmgxx to %clang and %clangxx respectively.
Cristian Cadar
2018-11-05
Fixed crash on zero size arrays
Lukas Wölfer
2018-11-02
Replaced --no-externals and --allow-external-sym-calls with --external-calls,...
Cristian Cadar
2018-10-26
llvm5: test, add -disable-O0-optnone to -O0
Jiri Slaby
2018-09-06
Use FileCheck and LINE instead of grep if possible
Martin Nowack
2014-09-14
Use 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-16
Changed StaticDestructor.cpp to use uclibc and disable optimizations explicitly.
Cristian Cadar
2014-01-20
Remove the last remnants (I think) of DejaGNU. Goodbye!
Dan Liew
2010-04-05
Fix -emit-llvm spelling (although, these aren't actually needed).
Daniel Dunbar
2009-08-03
Fix computation of GetElementPtr offset for 64-bit targets.
Daniel Dunbar
2009-08-02
Disable this test, KLEE's new[] implementation is broken; surprisingly this
Daniel Dunbar
2009-05-21
Initial KLEE checkin.
Daniel Dunbar