source: CIVL/examples/languageFeatures/malloc.cvl@ 4165892

1.23 2.0 acw/focus-triggers main test-branch
Last change on this file since 4165892 was 1de5580, checked in by Manchun Zheng <zmanchun@…>, 12 years ago

added a method in the executor for allocating a new object in the heap of a given scope; added tests for $message_unpack, $gcomm_create; changed "$free" into "free".

git-svn-id: ​svn://vsl.cis.udel.edu/civl/trunk@668 fb995dde-84ed-4084-dfe6-e5aef3e2452c
  • Property mode set to 100644
File size: 223 bytes
RevLine 
[36b5ada]1/* Commandline execution:
2 * civl verify malloc.cvl
3 * */
[6d158b4]4#include <civlc.h>
5
6void main() {
[78fdaf0]7 $scope s = $here;
8 double *p = (double *) $malloc(s, 5*sizeof(double));
[6d158b4]9
[1dad7eb]10 p[4]=3.14;
11 $assert(p[4]==3.14);
[1de5580]12 free(p);
[6d158b4]13}
Note: See TracBrowser for help on using the repository browser.