int subprocess_unsetenv (struct subprocess *p, const char *name) { if (p->started) { errno = EINVAL; return (-1); } envz_remove (&p->envz, &p->envz_len, name); return (0); }
void testValues() { f = 2; size_t argz_len = anysize(); char* argz = anyargz(argz_len, anysize()); envz_remove(&argz, &argz_len, anystring()); //@ assert f == 2; //@ assert vacuous: \false; }
void runFailure2() { size_t argz_len = anysize(); char* argz = anyargz(argz_len, anysize()); envz_remove(&argz, &argz_len, NULL); }
void runFailure1() { char* argz = "s"; envz_remove(&argz, anysize(), anystring()); }
void runFailure() { envz_remove(NULL, anysize(), anystring()); }
void runSuccess() { size_t argz_len = anysize(); char* argz = anyargz(argz_len, anysize()); envz_remove(&argz, &argz_len, anystring()); }