Feature/new cgc

cgc-challenges/3D_Image_Toolkit/.frama-c/3D_Image_Toolkit.eva/alarms.csv

@@ -110,7 +110,7 @@ directory	file	line	function	property kind	status	property
 .	main.c	200	cgc_menu	mem_access	Unknown	\valid_read(px_list_0 + val)
 .	main.c	200	cgc_menu	precondition of memcpy	Unknown	valid_dest: valid_or_empty(dest, n)
 .	main.c	200	cgc_menu	precondition of memcpy	Unknown	valid_src: valid_read_or_empty(src, n)
-/home/andr/git/oscs-pub3/cgc-challenges/lib	libcgc.c	42	cgc_receive	precondition of read	Unknown	buf_has_room: \valid((char *)buf + (0 .. count - 1))
+CGC_LIB	libcgc.c	42	cgc_receive	precondition of read	Unknown	buf_has_room: \valid((char *)buf + (0 .. count - 1))
 FRAMAC_SHARE/libc	string.h	92	memcpy	precondition	Unknown	valid_dest: valid_or_empty(dest, n)
 FRAMAC_SHARE/libc	string.h	93	memcpy	precondition	Unknown	valid_src: valid_read_or_empty(src, n)
 FRAMAC_SHARE/libc	string.h	115	memset	precondition	Unknown	valid_s: valid_or_empty(s, n)