source: CIVL/examples/languageFeatures/messageUnpackBad1.cvl@ b231753

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