C++ (Cpp) anypid примеры использования

Пример #1

void testValues() {
    f = 2;
    pid_t result;
    
    getpgid(anypid());
    
    //@ assert f == 2;
    //@ assert vacuous: \false;
}

Пример #2

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

Пример #3

void runSuccess() {
    getpgid(anypid());
}

Пример #4

void runSuccess() {
    kill(anypid(), anyint());
}