39 lines
620 B
Plaintext
39 lines
620 B
Plaintext
process main {
|
|
value("ab\0") str1;
|
|
value("ab") str2;
|
|
|
|
strcmp(str1.length, "3") a;
|
|
assert(a);
|
|
|
|
strcmp(str2.length, "2") a;
|
|
assert(a);
|
|
|
|
strcmp(str1, str2) a;
|
|
not(a) a;
|
|
assert(a);
|
|
|
|
concat(str1, str2) strc;
|
|
strcmp(strc, "ab\0ab") a;
|
|
assert(a);
|
|
|
|
concat(str2, str1) strc;
|
|
strcmp(strc, "abab\0") a;
|
|
assert(a);
|
|
|
|
value("") str1;
|
|
value("\x00\x00") str2;
|
|
value("\x00\x01") str3;
|
|
value("\x01") str4;
|
|
|
|
val_lesser(str1, str2) a;
|
|
assert(a);
|
|
|
|
val_lesser(str2, str3) a;
|
|
assert(a);
|
|
|
|
val_lesser(str3, str4) a;
|
|
assert(a);
|
|
|
|
exit("0");
|
|
}
|