Skip to content
Snippets Groups Projects

New/cb multios

Open New/cb multios
new/cb-multios into master
Open Remi Lazarini requested to merge new/cb-multios into master
Viewing commit aa86f1b0
Show latest version
12 files
+ 8602
− 6
Compare changes
  • Side-by-side
  • Inline
Files
12
cgc/.frama-c/3D_Image_Toolkit.eva/alarms.csv
+ 1
− 1
@@ -35,4 +35,4 @@ challenges/3D_Image_Toolkit/src compress.c 91 cgc_Compress initialization Unknow
challenges/3D_Image_Toolkit/src compress.c 94 cgc_Compress initialization Unknown \initialized(&px->b)
challenges/3D_Image_Toolkit/src compress.c 137 cgc_Decompress initialization Unknown \initialized(in_data + tmp)
lib fc_common.c 50 cgc_receive precondition of read Unknown buf_has_room: \valid((char *)buf + (0 .. count - 1))
lib fc_libcgc.c 215 cgc_memcpy precondition of memcpy Unknown valid_dest: valid_or_empty(dest, n)
lib fc_libcgc.c 217 cgc_memcpy precondition of memcpy Unknown valid_dest: valid_or_empty(dest, n)