-
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
onelineghost.c 86 B
int main () {
//@ ghost int x = 0;
//@ ghost x++;
return 0;
}
//@ ghost int G;