Skip to content
Snippets Groups Projects
onelineghost.c 86 B
int main () {
  //@ ghost int x = 0;
  //@ ghost x++;
  return 0;
}

//@ ghost int G;