-
Virgile Prevosto authored
[Ptests] preserve LOG after STDOPT directive See merge request frama-c/frama-c!2073
Virgile Prevosto authored[Ptests] preserve LOG after STDOPT directive See merge request frama-c/frama-c!2073
abstract_struct_2.c 104 B
/* run.config*
DONTRUN: linked with abstract_struct_1.c
*/
struct abstracttype { int c1; int c2; };