Exemplos de anylong em C++ (Cpp)

Exemplo n.º 1

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

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

Exemplo n.º 2

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

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

Exemplo n.º 3

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

Exemplo n.º 4

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