C++ (Cpp) anylong 예제들

예제 #1

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

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

예제 #2

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

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

예제 #3

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

예제 #4

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