source: CIVL/text/include/string.h@ e1b32beb

1.23 2.0 main test-branch
Last change on this file since e1b32beb was a0aa644, checked in by Manchun Zheng <zmanchun@…>, 12 years ago

used new libraries of civlc; get rid of the old version; cleaned up library executor accordingly.

git-svn-id: ​svn://vsl.cis.udel.edu/civl/trunk@1329 fb995dde-84ed-4084-dfe6-e5aef3e2452c
  • Property mode set to 100644
File size: 316 bytes
Line 
1/* CIVL model of string.h */
2
3#ifdef __STRING__
4#else
5#define __STRING__
6#include<string-common.h>
7#include<bundle.cvh>
8
9/* Copies a region of memory */
10void* memcpy(void *p, void *q, const size_t size) {
11 $atom {
12 $bundle bundle = $bundle_pack(q, size);
13 $bundle_unpack(bundle, p);
14 }
15 return p;
16}
17
18#endif
Note: See TracBrowser for help on using the repository browser.