C++ (Cpp) anyset Exemples

Exemple #1

void testValues() {
    f = 2;
    int result;
    
    sigwaitinfo(anyset(), anyinfo());
    
    //@ assert f == 2;
    //@ assert vacuous: \false;
}

Exemple #2

void testValues() {
    f = 2;
    int result;
    
    result = sigpending(anyset());
    //@ assert result == -1 || result == 0;
    
    //@ assert f == 2;
    //@ assert vacuous: \false;
}

Exemple #3

void runFailure1() {
    sigwaitinfo(anyset(), NULL);
}

Exemple #4

void runSuccess() {
    sigwaitinfo(anyset(), anyinfo());
}

Exemple #5

void runSuccess() {
    sigpending(anyset());
}