source: CIVL/examples/languageFeatures/messageUnpackBad2.cvl@ 9ca9cda

1.23 2.0 main test-branch
Last change on this file since 9ca9cda 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: 404 bytes
Line 
1#include <civlc.h>
2
3void main(){
4 int x[2] = {1,2}, *y, *z;
5 $message m = $message_pack(0, 1, 2, x, sizeof(int)*2);
6
7 y = (int *)$malloc($root, sizeof(int)*2);
8 z = (int *)$malloc($root, sizeof(int));
9 $message_unpack(m, y, sizeof(int)*2);
10 $assert(x[0] == y[0] && x[1] == y[1]);
11 m = $message_pack(0, 1, 2, x, sizeof(int)*2);
12 $message_unpack(m, z, sizeof(int)); //needs better error report
13}
Note: See TracBrowser for help on using the repository browser.