source:
CIVL/examples/library/string.cvl@
ee38d17
| Last change on this file since ee38d17 was 42aa837, checked in by , 12 years ago | |
|---|---|
|
|
| File size: 312 bytes | |
| Rev | Line | |
|---|---|---|
| [a0f0868] | 1 | #include<string.h> |
| 2 | #include<stdlib.h> | |
| 3 | ||
| 4 | void 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"); | |
| [145d90d] | 13 | int x = strcmp(s, "abcd"); |
| [42aa837] | 14 | $assert x==0; |
| [a0f0868] | 15 | len = strlen(s); |
| [42aa837] | 16 | $assert len == 4; |
| [a0f0868] | 17 | len = strlen(s + 1); |
| [42aa837] | 18 | $assert len == 3; |
| [04e9b23] | 19 | free(s); |
| [a0f0868] | 20 | } |
Note:
See TracBrowser
for help on using the repository browser.
