Skip to content
Snippets Groups Projects
Normal view Permalink
duplicated_global_bts1129.i 91 B
Newer Older
Virgile Prevosto's avatar
Merge branch 'fix/andre/ptests-stdopt-log' into 'master'
Virgile Prevosto committed
1 2 3 4 5 6 7 
void f(int* x);

void f(int* x) { *x++; }

int X;
//@ ensures X==1;
void f(int* x);