Exemple #1
0
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());
}