void testValues() {
f = 2;
size_t argz_len = anysize();
char* argz = anyargz(argz_len, anysize());
envz_strip(&argz, &argz_len);
//@ assert f == 2;
//@ assert vacuous: \false;
}
int
do_test (void)
{
size_t size = 0;
char *str = malloc (100);
if (str == NULL)
{
puts ("out of memory");
return 1;
}
char **argz = &str;
for (int i = 0; i < nstrs; ++i)
argz_add_sep (argz, &size, strs[i].s, '\0');
printf ("calling envz_strip with size=%zu\n", size);
envz_strip (argz, &size);
int result = 0;
printf ("new size=%zu\n", size);
for (int i = 0; i < nstrs; ++i)
if (strs[i].in_result)
{
char name[2];
name[0] = strs[i].s[0];
name[1] = '\0';
char *e = envz_entry (*argz, size, name);
if (e == NULL)
{
printf ("entry '%s' not found\n", name);
result = 1;
}
else if (strcmp (e, strs[i].s) != 0)
{
printf ("entry '%s' does not match: is '%s', expected '%s'\n",
name, e, strs[i].s);
result = 1;
}
}
free (*argz);
return result;
}
void runFailure() {
envz_strip(NULL, anysize());
}
void runFailure1() {
char* argz = "s";
envz_strip(&argz, anysize());
}
void runSuccess() {
size_t argz_len = anysize();
char* argz = anyargz(argz_len, anysize());
envz_strip(&argz, &argz_len);
}
