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
RevLine 
[e484c35]1/* CIVL model of string.h */
2
[a0f0868]3#ifdef __STRING__
[e484c35]4#else
[a0f0868]5#define __STRING__
[0822b02]6#include<string-common.h>
[a0aa644]7#include<bundle.cvh>
[e484c35]8
9/* Copies a region of memory */
[93eee6d]10void* memcpy(void *p, void *q, const size_t size) {
[e484c35]11 $atom {
12 $bundle bundle = $bundle_pack(q, size);
13 $bundle_unpack(bundle, p);
14 }
[93eee6d]15 return p;
[e484c35]16}
[a0f0868]17
18#endif
Note: See TracBrowser for help on using the repository browser.