status
Patches from
next that pass the testsuite are automatically promoted to
current. The latest batch was considered on 2023-07-07, with the following
results.
new patches
Petr Rockai <code@fixp.eu>, Thu Jul 6 11:41:33 CEST 2023
bast: Add struct.hpp to the list of files in the readme.
bast: Add struct.hpp to the list of files in the readme.
M bast/readme.txt +1
test results
failed: [klee] abstract/any-nonzero.pkg.c symbolic --symbolic sym
failed: [klee] abstract/any-zero.pkg.c symbolic --symbolic sym
failed: [klee] dios/api/fault-config-fault-a.chk.c
failed: [klee] dios/api/fault-config-fault-b.chk.c
failed: [klee] dios/api/kill-task-a.chk.c
failed: [klee] dios/api/start-task-a.chk.c
failed: [klee] posix/fs/dirent-01.valid.chk.c
failed: [klee] posix/fs/dirent-10.valid.chk.c
failed: [klee] posix/fs/dirent-11.valid.chk.c
failed: [klee] sym/c.chk.c
failed: [klee] verify/dbgfault.chk.c
failed: test/posix/fs/dirent-01.valid.chk.c
failed: test/posix/fs/dirent-09.valid.chk.c
failed: test/posix/fs/dirent-10.valid.chk.c
failed: test/posix/fs/dirent-11.valid.chk.c
failed: test/sim/call-dbg.sh
failed: test/svcomp/product-lines/email_spec4_product32_false.cil.chk.c
failed: test/verify/capture-list.chk.cpp
failed: [klee] abstract/any-zero.pkg.c symbolic --symbolic sym
failed: [klee] dios/api/fault-config-fault-a.chk.c
failed: [klee] dios/api/fault-config-fault-b.chk.c
failed: [klee] dios/api/kill-task-a.chk.c
failed: [klee] dios/api/start-task-a.chk.c
failed: [klee] posix/fs/dirent-01.valid.chk.c
failed: [klee] posix/fs/dirent-10.valid.chk.c
failed: [klee] posix/fs/dirent-11.valid.chk.c
failed: [klee] sym/c.chk.c
failed: [klee] verify/dbgfault.chk.c
failed: test/posix/fs/dirent-01.valid.chk.c
failed: test/posix/fs/dirent-09.valid.chk.c
failed: test/posix/fs/dirent-10.valid.chk.c
failed: test/posix/fs/dirent-11.valid.chk.c
failed: test/sim/call-dbg.sh
failed: test/svcomp/product-lines/email_spec4_product32_false.cil.chk.c
failed: test/verify/capture-list.chk.cpp
Summary: 18 test(s) failed, 0 tests passed.