-
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
annot_main.c 102 B
/*@
requires \valid(p);
ensures *p == 0;
*/
void main(int*p) {
*p = 0;
Frama_C_dump_each();
}