Example #1
0
void testValues() {
    f = 2;
    
    monstartup(anylong(), anylong());

    //@ assert f == 2;
    //@ assert vacuous: \false;
}
Example #2
0
void testValues() {
    f = 2;
    
    sethostid(anylong());

    //@ assert f == 2;
    //@ assert vacuous: \false;
}
Example #3
0
void runSuccess() {
    sethostid(anylong());
}
Example #4
0
void runSuccess() {
    monstartup(anylong(), anylong());
}