Exemplos de anygid em C++ (Cpp)

Exemplo n.º 1

Arquivo: test_getgrouplist.c Projeto: AnnotationsForAll/annotationsforall

void testValues() {
    f = 2;

    gid_t gids[] = {anygid(),anygid(),anygid()};
    int n = 3;
    getgrouplist(anystring(), anygid(), gids, &n);

    //@ assert f == 2;
    //@ assert vacuous: \false;
}

Exemplo n.º 2

Arquivo: test_initgroups.c Projeto: AnnotationsForAll/annotationsforall

void testValues() {
    f = 2;

    initgroups(anystring(), anygid());

    //@ assert f == 2;
    //@ assert vacuous: \false;
}

Exemplo n.º 3

void testValues() {
    f = 2;
    int result;
    
    result = fchown(anyint(), anyuid(), anygid());
    //@ assert result == 0 || result == -1;
    
    //@ assert f == 2;
    //@ assert vacuous: \false;
}

Exemplo n.º 4

Arquivo: test_initgroups.c Projeto: AnnotationsForAll/annotationsforall

void runSuccess() {
    initgroups(anystring(), anygid());
}

Exemplo n.º 5

Arquivo: test_initgroups.c Projeto: AnnotationsForAll/annotationsforall

void runFailure() {
    initgroups(NULL, anygid());
}

Exemplo n.º 6

Arquivo: test_getgrouplist.c Projeto: AnnotationsForAll/annotationsforall

void runSuccess() {
    int n = 0;
    getgrouplist(anystring(), anygid(), NULL, &n);
}

Exemplo n.º 7

Arquivo: test_getgrouplist.c Projeto: AnnotationsForAll/annotationsforall

void runFailure2() {
    gid_t gids[] = {anygid()};
    getgrouplist(anystring(), anygid(), gids, NULL);
}

Exemplo n.º 8

Arquivo: test_getgrouplist.c Projeto: AnnotationsForAll/annotationsforall

void runFailure1() {
    gid_t gids[] = {anygid()};
    int n = 3;
    getgrouplist(anystring(), anygid(), gids, &n);
}

Exemplo n.º 9

Arquivo: test_getgrouplist.c Projeto: AnnotationsForAll/annotationsforall

void runFailure() {
    gid_t gids[] = {anygid()};
    int n = 1;
    getgrouplist(NULL, anygid(), gids, &n);
}

Exemplo n.º 10

Arquivo: test_getgrouplist.c Projeto: AnnotationsForAll/annotationsforall

void runSuccess2() {
    gid_t gids[] = {anygid(),anygid(),anygid()};
    int n = 3;
    getgrouplist(anystring(), anygid(), gids, &n);
}

Exemplo n.º 11

void runSuccess() {
    fchown(anyint(), anyuid(), anygid());
}