]> andersk Git - splint.git/blame - test/tclauses/gt.c
Added additional files to the distribution tar ball.
[splint.git] / test / tclauses / gt.c
CommitLineData
80ee600a 1extern int glob;
2
3int f (void) /*@globals undef glob@*/
4{
5 return glob;
6}
This page took 0.062527 seconds and 5 git commands to generate.