C++ (Cpp) anylong Beispiele

Beispiel #1

void testValues() {
    f = 2;
    
    monstartup(anylong(), anylong());

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

Beispiel #2

void testValues() {
    f = 2;
    
    sethostid(anylong());

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

Beispiel #3

void runSuccess() {
    sethostid(anylong());
}

Beispiel #4

void runSuccess() {
    monstartup(anylong(), anylong());
}