source: CIVL/examples/library/string/string_test.cvl@ d48b845

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

added a test for memset().

git-svn-id: ​svn://vsl.cis.udel.edu/civl/trunk@2060 fb995dde-84ed-4084-dfe6-e5aef3e2452c
  • Property mode set to 100644
File size: 312 bytes
Line 
1#include<stdlib.h>
2#include<string.h>
3
4void main(){
5 char* s;
6 int len;
7
8 s = (char*)malloc(sizeof(char) * 4);
9
10 //s[0] = 'a';
11 //s[1] = 'b';
12 strcpy(s, "abcd");
13 int x = strcmp(s, "abcd");
14 $assert x==0;
15 len = strlen(s);
16 $assert len == 4;
17 len = strlen(s + 1);
18 $assert len == 3;
19 free(s);
20}
Note: See TracBrowser for help on using the repository browser.