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

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

added more functions to stdlib and string

git-svn-id: svn://vsl.cis.udel.edu/civl/trunk@1094 fb995dde-84ed-4084-dfe6-e5aef3e2452c

  • Property mode set to 100644
File size: 292 bytes
Line 
1/* CIVL model of string.h */
2
3#ifdef __CIVLC__
4#else
5#include<civlc.h>
6#endif
7#include<string-common.h>
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}
Note: See TracBrowser for help on using the repository browser.