-
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
pointer_comparison.c 53 B
int x,y,*p;
main(){
p = &x;
while (p++ != &y);
}