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
/
Replay
Age
Commit message (
Expand
)
Author
2020-08-07
New intrinsic: klee_is_replay
Alastair Reid
2019-08-14
Rewrote the checks in GenRandomBout.c to remove dependency on bash and use Fi...
Cristian Cadar
2019-08-14
Moved Gen*Bout.c tests outside the test/Runtime/POSIX directory, as they don'...
Cristian Cadar
2019-03-07
Renamed %llvmgcc and %llvmgxx to %clang and %clangxx respectively.
Cristian Cadar
2018-10-26
llvm5: test, add -disable-O0-optnone to -O0
Jiri Slaby
2018-08-03
Fixed runtest library to handle the case of a NULL "name" argument in klee_ma...
Cristian Cadar
2018-05-01
Ensured program reliably has 3 paths to be explored, and removed unnecessary ...
Cristian Cadar
2018-05-01
Implement klee_prefer_cex() and klee_abort() in Runtest and added correspondi...
lyxia
2017-07-24
Moved klee_choose from klee-libc to KLEE intrinsics.
Cristian Cadar
2017-02-14
Fix linker compatibility under macOS
Andrea Mattavelli
2017-01-14
Change how error handling is done in libkleeRuntest.
Dan Liew
2017-01-14
Fix bug reported privately by @danielschemmel .
Dan Liew
2017-01-14
Write tests to test `libkleeRuntest`. The `replay_posix_runtime.c`
Dan Liew
