source: CIVL/examples/languageFeatures/gcommCreate.cvl@ a054a5b

1.23 2.0 main test-branch
Last change on this file since a054a5b 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: 216 bytes
Line 
1#include <civlc.h>
2
3int foo($gcomm g, $gcomm f){
4 return 0;
5}
6
7void main(){
8 $gcomm gcomm = $gcomm_create($root, 2);
9 $gcomm fcomm = $gcomm_create($here, 2);
10 $proc fp = $spawn foo(gcomm, fcomm);
11
12 $wait(fp);
13}
Note: See TracBrowser for help on using the repository browser.