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

Some tests failed:

Some tests skipped or passed with warnings:

warnings: [stp] svcomp/product-lines/email_spec0_product26_false.cil.c
warnings: [stp] svcomp/product-lines/email_spec0_product31_false.cil.c
warnings: [stp] svcomp/product-lines/email_spec11_product30_false.cil.c
warnings: [stp] svcomp/product-lines/email_spec11_product32_false.cil.c
warnings: [stp] svcomp/product-lines/email_spec11_product33_false.cil.c
warnings: [stp] svcomp/product-lines/email_spec1_product32_false.cil.c
warnings: [vanilla] bricks/brick-data.bt:basic.nfaa.cpp
warnings: [vanilla] bricks/brick-data.bt:basic.nfta.cpp
warnings: [vanilla] bricks/brick-data.bt:bijection.nfaa.cpp
warnings: [vanilla] bricks/brick-data.bt:bijection.nfta.cpp
warnings: [vanilla] bricks/brick-data.bt:bijection_ctor.nfaa.cpp
warnings: [vanilla] bricks/brick-data.bt:bijection_ctor.nfta.cpp
warnings: [vanilla] bricks/brick-data.bt:comparison.nfaa.cpp
warnings: [vanilla] bricks/brick-data.bt:comparison.nfta.cpp
warnings: [vanilla] bricks/brick-data.bt:defcon.nfaa.cpp
warnings: [vanilla] bricks/brick-data.bt:defcon.nfta.cpp
warnings: [vanilla] bricks/brick-data.bt:disjoint_insert.nfaa.cpp
warnings: [vanilla] bricks/brick-data.bt:disjoint_insert.nfta.cpp
warnings: [vanilla] bricks/brick-data.bt:erase.nfaa.cpp
warnings: [vanilla] bricks/brick-data.bt:erase.nfta.cpp
warnings: [vanilla] bricks/brick-data.bt:move.nfaa.cpp
warnings: [vanilla] bricks/brick-data.bt:move.nfta.cpp
warnings: [vanilla] bricks/brick-data.bt:outOfRange.nfaa.cpp
warnings: [vanilla] bricks/brick-data.bt:outOfRange.nfta.cpp
warnings: [vanilla] bricks/brick-data.bt:overlap_inserts.nfaa.cpp
warnings: [vanilla] bricks/brick-data.bt:overlap_inserts.nfta.cpp
warnings: [vanilla] bricks/brick-data.bt:overlap_second_insert_back_nosubset.nfaa.cpp
warnings: [vanilla] bricks/brick-data.bt:overlap_second_insert_back_nosubset.nfta.cpp
warnings: [vanilla] bricks/brick-data.bt:overlap_second_insert_back_subset.nfaa.cpp
warnings: [vanilla] bricks/brick-data.bt:overlap_second_insert_back_subset.nfta.cpp
warnings: [vanilla] bricks/brick-data.bt:overlap_second_insert_front_nosubset.nfaa.cpp
warnings: [vanilla] bricks/brick-data.bt:overlap_second_insert_front_nosubset.nfta.cpp
warnings: [vanilla] bricks/brick-data.bt:overlap_second_insert_front_subset.nfaa.cpp
warnings: [vanilla] bricks/brick-data.bt:overlap_second_insert_front_subset.nfta.cpp
warnings: [vanilla] bricks/brick-data.bt:push.nfaa.cpp
warnings: [vanilla] bricks/brick-data.bt:push.nfta.cpp
warnings: [vanilla] bricks/brick-data.bt:reserve.nfaa.cpp
warnings: [vanilla] bricks/brick-data.bt:reserve.nfta.cpp
warnings: [vanilla] bricks/brick-data.bt:resize.nfaa.cpp
warnings: [vanilla] bricks/brick-data.bt:resize.nfta.cpp
warnings: [vanilla] bricks/brick-data.bt:resize_copy.nfaa.cpp
warnings: [vanilla] bricks/brick-data.bt:resize_copy.nfta.cpp
warnings: [vanilla] bricks/brick-data.bt:simple.nfaa.cpp
warnings: [vanilla] bricks/brick-data.bt:simple.nfta.cpp
warnings: [vanilla] bricks/brick-data.bt:touch.nfaa.cpp
warnings: [vanilla] bricks/brick-data.bt:touch.nfta.cpp
warnings: [vanilla] bricks/brick-smt.bt:basic.nfaa.cpp
warnings: [vanilla] bricks/brick-smt.bt:basic.nfta.cpp
warnings: [vanilla] bricks/brick-smt.bt:constants.nfaa.cpp
warnings: [vanilla] bricks/brick-smt.bt:constants.nfta.cpp
warnings: [vanilla] bricks/brick-smt.bt:escape.nfaa.cpp
warnings: [vanilla] bricks/brick-smt.bt:escape.nfta.cpp
warnings: [vanilla] bricks/brick-smt.bt:print.nfaa.cpp
warnings: [vanilla] bricks/brick-smt.bt:print.nfta.cpp
warnings: [vanilla] bricks/brick-smt.bt:simple.nfaa.cpp
warnings: [vanilla] bricks/brick-smt.bt:simple.nfta.cpp
warnings: [vanilla] bricks/brick-smt.bt:string.nfaa.cpp
warnings: [vanilla] bricks/brick-smt.bt:string.nfta.cpp
warnings: [vanilla] bricks/brick-types.bt:apply.nfaa.cpp
warnings: [vanilla] bricks/brick-types.bt:apply.nfta.cpp
warnings: [vanilla] bricks/brick-types.bt:assing_dtor.nfaa.cpp
warnings: [vanilla] bricks/brick-types.bt:assing_dtor.nfta.cpp
warnings: [vanilla] bricks/brick-types.bt:basic.nfaa.cpp
warnings: [vanilla] bricks/brick-types.bt:basic.nfta.cpp
warnings: [vanilla] bricks/brick-types.bt:basic_ret.nfaa.cpp
warnings: [vanilla] bricks/brick-types.bt:basic_ret.nfta.cpp
warnings: [vanilla] bricks/brick-types.bt:basic_void.nfaa.cpp
warnings: [vanilla] bricks/brick-types.bt:basic_void.nfta.cpp
warnings: [vanilla] bricks/brick-types.bt:cast.nfaa.cpp
warnings: [vanilla] bricks/brick-types.bt:cast.nfta.cpp
warnings: [vanilla] bricks/brick-types.bt:comparable.nfaa.cpp
warnings: [vanilla] bricks/brick-types.bt:comparable.nfta.cpp
warnings: [vanilla] bricks/brick-types.bt:ctorCast.nfaa.cpp
warnings: [vanilla] bricks/brick-types.bt:ctorCast.nfta.cpp
warnings: [vanilla] bricks/brick-types.bt:dtor.nfaa.cpp
warnings: [vanilla] bricks/brick-types.bt:dtor.nfta.cpp
warnings: [vanilla] bricks/brick-types.bt:enum_uchar.nfaa.cpp
warnings: [vanilla] bricks/brick-types.bt:enum_uchar.nfta.cpp
warnings: [vanilla] bricks/brick-types.bt:enum_uint.nfaa.cpp
warnings: [vanilla] bricks/brick-types.bt:enum_uint.nfta.cpp
warnings: [vanilla] bricks/brick-types.bt:enum_ulong.nfaa.cpp
warnings: [vanilla] bricks/brick-types.bt:enum_ulong.nfta.cpp
warnings: [vanilla] bricks/brick-types.bt:enum_ushort.nfaa.cpp
warnings: [vanilla] bricks/brick-types.bt:enum_ushort.nfta.cpp
warnings: [vanilla] bricks/brick-types.bt:eq.nfaa.cpp
warnings: [vanilla] bricks/brick-types.bt:eq.nfta.cpp
warnings: [vanilla] bricks/brick-types.bt:eqod_as_tuple.nfaa.cpp
warnings: [vanilla] bricks/brick-types.bt:eqod_as_tuple.nfta.cpp
warnings: [vanilla] bricks/brick-types.bt:eqord.nfaa.cpp
warnings: [vanilla] bricks/brick-types.bt:eqord.nfta.cpp
warnings: [vanilla] bricks/brick-types.bt:eqord_child.nfaa.cpp
warnings: [vanilla] bricks/brick-types.bt:eqord_child.nfta.cpp
warnings: [vanilla] bricks/brick-types.bt:moveNoCopy.nfaa.cpp
warnings: [vanilla] bricks/brick-types.bt:moveNoCopy.nfta.cpp
warnings: [vanilla] bricks/brick-types.bt:ord.nfaa.cpp
warnings: [vanilla] bricks/brick-types.bt:ord.nfta.cpp
warnings: [vanilla] bricks/brick-types.bt:order.nfaa.cpp
warnings: [vanilla] bricks/brick-types.bt:order.nfta.cpp
warnings: [vanilla] bricks/brick-types.bt:regression.nfaa.cpp
warnings: [vanilla] bricks/brick-types.bt:regression.nfta.cpp
warnings: [vanilla] bricks/brick-types.bt:templated.nfaa.cpp
warnings: [vanilla] bricks/brick-types.bt:templated.nfta.cpp
warnings: [vanilla] libcxx/deque/pop_back.pass.cpp
warnings: [vanilla] libcxx/deque/pop_front.pass.cpp
warnings: [vanilla] libcxx/deque/size_value.pass.cpp
warnings: [vanilla] libcxx/deque/size_value_alloc.pass.cpp
skipped: [vanilla] pthread/pts-int/pthread_cancel/pts-1-1.todo-sleep.c
skipped: [vanilla] pthread/pts-int/pthread_cancel/pts-2-1.todo-sleep.c
skipped: [vanilla] pthread/pts-int/pthread_cancel/pts-2-2.todo-sleep.c
skipped: [vanilla] pthread/pts-int/pthread_cancel/pts-3-1.todo-sched-fifo.c
skipped: [vanilla] pthread/pts-int/pthread_cancel/pts-5-2.todo-semaphore.c
warnings: [vanilla] svcomp/array/data_structures_set_multi_proc_trivial_true.c

Remaining 2826 tests passed. Stopping here. # Test Results

Test Results

Some tests failed:

failed: [vanilla] bricks/brick-types.bt:eqord.nfta.cpp

Some tests skipped or passed with warnings:

warnings: [stp] svcomp/product-lines/email_spec0_product26_false.cil.c
warnings: [stp] svcomp/product-lines/email_spec0_product31_false.cil.c
warnings: [stp] svcomp/product-lines/email_spec11_product30_false.cil.c
warnings: [stp] svcomp/product-lines/email_spec11_product32_false.cil.c
warnings: [stp] svcomp/product-lines/email_spec11_product33_false.cil.c
warnings: [stp] svcomp/product-lines/email_spec1_product32_false.cil.c
warnings: [vanilla] bricks/brick-data.bt:basic.nfaa.cpp
warnings: [vanilla] bricks/brick-data.bt:basic.nfta.cpp
warnings: [vanilla] bricks/brick-data.bt:bijection.nfaa.cpp
warnings: [vanilla] bricks/brick-data.bt:bijection.nfta.cpp
warnings: [vanilla] bricks/brick-data.bt:bijection_ctor.nfaa.cpp
warnings: [vanilla] bricks/brick-data.bt:bijection_ctor.nfta.cpp
warnings: [vanilla] bricks/brick-data.bt:comparison.nfaa.cpp
warnings: [vanilla] bricks/brick-data.bt:comparison.nfta.cpp
warnings: [vanilla] bricks/brick-data.bt:defcon.nfaa.cpp
warnings: [vanilla] bricks/brick-data.bt:defcon.nfta.cpp
warnings: [vanilla] bricks/brick-data.bt:disjoint_insert.nfaa.cpp
warnings: [vanilla] bricks/brick-data.bt:disjoint_insert.nfta.cpp
warnings: [vanilla] bricks/brick-data.bt:erase.nfaa.cpp
warnings: [vanilla] bricks/brick-data.bt:erase.nfta.cpp
warnings: [vanilla] bricks/brick-data.bt:move.nfaa.cpp
warnings: [vanilla] bricks/brick-data.bt:move.nfta.cpp
warnings: [vanilla] bricks/brick-data.bt:outOfRange.nfaa.cpp
warnings: [vanilla] bricks/brick-data.bt:outOfRange.nfta.cpp
warnings: [vanilla] bricks/brick-data.bt:overlap_inserts.nfaa.cpp
warnings: [vanilla] bricks/brick-data.bt:overlap_inserts.nfta.cpp
warnings: [vanilla] bricks/brick-data.bt:overlap_second_insert_back_nosubset.nfaa.cpp
warnings: [vanilla] bricks/brick-data.bt:overlap_second_insert_back_nosubset.nfta.cpp
warnings: [vanilla] bricks/brick-data.bt:overlap_second_insert_back_subset.nfaa.cpp
warnings: [vanilla] bricks/brick-data.bt:overlap_second_insert_back_subset.nfta.cpp
warnings: [vanilla] bricks/brick-data.bt:overlap_second_insert_front_nosubset.nfaa.cpp
warnings: [vanilla] bricks/brick-data.bt:overlap_second_insert_front_nosubset.nfta.cpp
warnings: [vanilla] bricks/brick-data.bt:overlap_second_insert_front_subset.nfaa.cpp
warnings: [vanilla] bricks/brick-data.bt:overlap_second_insert_front_subset.nfta.cpp
warnings: [vanilla] bricks/brick-data.bt:push.nfaa.cpp
warnings: [vanilla] bricks/brick-data.bt:push.nfta.cpp
warnings: [vanilla] bricks/brick-data.bt:reserve.nfaa.cpp
warnings: [vanilla] bricks/brick-data.bt:reserve.nfta.cpp
warnings: [vanilla] bricks/brick-data.bt:resize.nfaa.cpp
warnings: [vanilla] bricks/brick-data.bt:resize.nfta.cpp
warnings: [vanilla] bricks/brick-data.bt:resize_copy.nfaa.cpp
warnings: [vanilla] bricks/brick-data.bt:resize_copy.nfta.cpp
warnings: [vanilla] bricks/brick-data.bt:simple.nfaa.cpp
warnings: [vanilla] bricks/brick-data.bt:simple.nfta.cpp
warnings: [vanilla] bricks/brick-data.bt:touch.nfaa.cpp
warnings: [vanilla] bricks/brick-data.bt:touch.nfta.cpp
warnings: [vanilla] bricks/brick-smt.bt:basic.nfaa.cpp
warnings: [vanilla] bricks/brick-smt.bt:basic.nfta.cpp
warnings: [vanilla] bricks/brick-smt.bt:constants.nfaa.cpp
warnings: [vanilla] bricks/brick-smt.bt:constants.nfta.cpp
warnings: [vanilla] bricks/brick-smt.bt:escape.nfaa.cpp
warnings: [vanilla] bricks/brick-smt.bt:escape.nfta.cpp
warnings: [vanilla] bricks/brick-smt.bt:print.nfaa.cpp
warnings: [vanilla] bricks/brick-smt.bt:print.nfta.cpp
warnings: [vanilla] bricks/brick-smt.bt:simple.nfaa.cpp
warnings: [vanilla] bricks/brick-smt.bt:simple.nfta.cpp
warnings: [vanilla] bricks/brick-smt.bt:string.nfaa.cpp
warnings: [vanilla] bricks/brick-smt.bt:string.nfta.cpp
warnings: [vanilla] bricks/brick-types.bt:apply.nfaa.cpp
warnings: [vanilla] bricks/brick-types.bt:apply.nfta.cpp
warnings: [vanilla] bricks/brick-types.bt:assing_dtor.nfaa.cpp
warnings: [vanilla] bricks/brick-types.bt:assing_dtor.nfta.cpp
warnings: [vanilla] bricks/brick-types.bt:basic.nfaa.cpp
warnings: [vanilla] bricks/brick-types.bt:basic.nfta.cpp
warnings: [vanilla] bricks/brick-types.bt:basic_ret.nfaa.cpp
warnings: [vanilla] bricks/brick-types.bt:basic_ret.nfta.cpp
warnings: [vanilla] bricks/brick-types.bt:basic_void.nfaa.cpp
warnings: [vanilla] bricks/brick-types.bt:basic_void.nfta.cpp
warnings: [vanilla] bricks/brick-types.bt:cast.nfaa.cpp
warnings: [vanilla] bricks/brick-types.bt:cast.nfta.cpp
warnings: [vanilla] bricks/brick-types.bt:comparable.nfaa.cpp
warnings: [vanilla] bricks/brick-types.bt:comparable.nfta.cpp
warnings: [vanilla] bricks/brick-types.bt:ctorCast.nfaa.cpp
warnings: [vanilla] bricks/brick-types.bt:ctorCast.nfta.cpp
warnings: [vanilla] bricks/brick-types.bt:dtor.nfaa.cpp
warnings: [vanilla] bricks/brick-types.bt:dtor.nfta.cpp
warnings: [vanilla] bricks/brick-types.bt:enum_uchar.nfaa.cpp
warnings: [vanilla] bricks/brick-types.bt:enum_uchar.nfta.cpp
warnings: [vanilla] bricks/brick-types.bt:enum_uint.nfaa.cpp
warnings: [vanilla] bricks/brick-types.bt:enum_uint.nfta.cpp
warnings: [vanilla] bricks/brick-types.bt:enum_ulong.nfaa.cpp
warnings: [vanilla] bricks/brick-types.bt:enum_ulong.nfta.cpp
warnings: [vanilla] bricks/brick-types.bt:enum_ushort.nfaa.cpp
warnings: [vanilla] bricks/brick-types.bt:enum_ushort.nfta.cpp
warnings: [vanilla] bricks/brick-types.bt:eq.nfaa.cpp
warnings: [vanilla] bricks/brick-types.bt:eq.nfta.cpp
warnings: [vanilla] bricks/brick-types.bt:eqod_as_tuple.nfaa.cpp
warnings: [vanilla] bricks/brick-types.bt:eqod_as_tuple.nfta.cpp
warnings: [vanilla] bricks/brick-types.bt:eqord.nfaa.cpp
warnings: [vanilla] bricks/brick-types.bt:eqord_child.nfaa.cpp
warnings: [vanilla] bricks/brick-types.bt:eqord_child.nfta.cpp
warnings: [vanilla] bricks/brick-types.bt:moveNoCopy.nfaa.cpp
warnings: [vanilla] bricks/brick-types.bt:moveNoCopy.nfta.cpp
warnings: [vanilla] bricks/brick-types.bt:ord.nfaa.cpp
warnings: [vanilla] bricks/brick-types.bt:ord.nfta.cpp
warnings: [vanilla] bricks/brick-types.bt:order.nfaa.cpp
warnings: [vanilla] bricks/brick-types.bt:order.nfta.cpp
warnings: [vanilla] bricks/brick-types.bt:regression.nfaa.cpp
warnings: [vanilla] bricks/brick-types.bt:regression.nfta.cpp
warnings: [vanilla] bricks/brick-types.bt:templated.nfaa.cpp
warnings: [vanilla] bricks/brick-types.bt:templated.nfta.cpp
warnings: [vanilla] libcxx/deque/pop_back.pass.cpp
warnings: [vanilla] libcxx/deque/pop_front.pass.cpp
warnings: [vanilla] libcxx/deque/size_value.pass.cpp
warnings: [vanilla] libcxx/deque/size_value_alloc.pass.cpp
skipped: [vanilla] pthread/pts-int/pthread_cancel/pts-1-1.todo-sleep.c
skipped: [vanilla] pthread/pts-int/pthread_cancel/pts-2-1.todo-sleep.c
skipped: [vanilla] pthread/pts-int/pthread_cancel/pts-2-2.todo-sleep.c
skipped: [vanilla] pthread/pts-int/pthread_cancel/pts-3-1.todo-sched-fifo.c
skipped: [vanilla] pthread/pts-int/pthread_cancel/pts-5-2.todo-semaphore.c
warnings: [vanilla] svcomp/array/data_structures_set_multi_proc_trivial_true.c

Remaining 2826 tests passed. Stopping here. Tests passed, the above patches are now part of http://divine.fi.muni.cz/current.

sym
svcomp
!!!!!!
sym
abstract
bricks
!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!
cc
demo
dios
divcc
ext-pv264
lang-c
lang-cpp
lart
leak
libc
libcxx
!!!!
pdclib
posix
pthread
sim
svcomp
!
undef
verify
vm
weakmem
svcomp
sym

summary: 2826 passed, 5 skipped, 107 warnings