source: CIVL/examples/library/string_test.cvl@ 5c27aa5

1.23 2.0 main test-branch
Last change on this file since 5c27aa5 was d42b98b, checked in by Ziqing Luo <ziqing@…>, 11 years ago

update math.cvl with MATH macros
changed examples name for no conflict with library implementations
changed corresponding test classes

git-svn-id: svn://vsl.cis.udel.edu/civl/trunk@1802 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.