Once a day, we take patches from our bleeding-edge source repository – next, run our testsuite and if everything works out, we make those patches available in our current repository (see also download). In other words, the current repository is expected to be in a useable state at all times. The code in current is then subject to additional testing and if the results are satisfactory, a release tarball is made.

Latest Changes

Test Results

klee:lang-c
klee:libc
klee:libcxx
klee:posix
klee:sym
smtlib:abstract
smtlib:lart
smtlib:sym
stp:abstract
stp:lart
stp:svcomp
TTTTTTTTTTTTT
stp:sym
abstract
bricks
cc
demo
dios
dioscc
draw
ext-pv264
lang-c
lang-cpp
lart
leak
libc
libcxx
liveness
misc
pdclib
posix
pthread
sim
svcomp
T
undef
verify
vm
weakmem
z3:abstract
z3:lart
z3:svcomp
TTTTTTTT
z3:sym

summary: 4604 passed, 15 skipped, 22 timeout, 2 failed