source: CIVL/examples/library/pointer/simpleCopyTest.cvl@ 8bbd03ea

1.23 2.0 main test-branch
Last change on this file since 8bbd03ea was 3ba2da1, checked in by Stephen Siegel <siegel@…>, 9 years ago

Merging in Yihao's bug fix for the memcpy undefined value checking
bug.

git-svn-id: ​svn://vsl.cis.udel.edu/civl/trunk@3925 fb995dde-84ed-4084-dfe6-e5aef3e2452c
  • Property mode set to 100644
File size: 93 bytes
Line 
1#include <pointer.cvh>
2
3int main(){
4 int x;
5 int y;
6
7 $copy(&x, &y);
8 return 0;
9}
Note: See TracBrowser for help on using the repository browser.