void testValues() { f = 2; monstartup(anylong(), anylong()); //@ assert f == 2; //@ assert vacuous: \false; }
void testValues() { f = 2; sethostid(anylong()); //@ assert f == 2; //@ assert vacuous: \false; }
void runSuccess() { sethostid(anylong()); }
void runSuccess() { monstartup(anylong(), anylong()); }