C++ (Cpp) anyinfo Beispiele

Beispiel #1

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

Beispiel #2

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

Beispiel #3

void runFailure() {
    sigwaitinfo(NULL, anyinfo());
}

Beispiel #4

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

Beispiel #5

void runSuccess() {
    psiginfo(anyinfo(), NULL);
}

Beispiel #6

void runSuccess1() {
    char buf[] = "head";
    //@ assert \valid(buf+(0..\block_length(buf)-1));
    //@ assert \exists integer x; buf[x] == '\0';
    psiginfo(anyinfo(), buf);
}