← Back to branch summary

~ubuntu-branches/debian/sid/frama-c/sid

« back to all changes in this revision

Viewing changes to tests/jessie/allocation.c

  • Committer: Bazaar Package Importer
  • Author(s): Mehdi Dogguy
  • Date: 2009-06-03 08:19:25 UTC
  • Revision ID: james.westby@ubuntu.com-20090603081925-kihvxvt0wy3zc4ar
Tags: upstream-20081201.dfsg
Import upstream version 20081201.dfsg

Show diffs side-by-side

added added

removed removed

Lines of Context:
tests/jessie/allocation.c
 
1
 
 
2
/*@ requires n > 0;
 
3
  @ ensures \valid_range(\result,0,n-1);
 
4
  @*/
 
5
char *f(int n) {
 
6
  char *i = (char*) malloc(n);
 
7
  return i;
 
8
}
 
9
 
 
10
/* 
 
11
Local Variables:
 
12
compile-command: "LC_ALL=C make allocation"
 
13
End:
 
14
*/