void testValues() { f = 2; if(!iopl(3)) { inl(anyport()); } //@ assert f == 2; //@ assert vacuous: \false; }
void testValues() { f = 2; if(!iopl(3)) { unsigned short buf[10]; outsw(anyport(), buf, 10); } //@ assert f == 2; //@ assert vacuous: \false; }
void runSuccess() { if(!iopl(3)) { unsigned short buf[10]; outsw(anyport(), buf, 10); } }
void runFailure1() { if(!iopl(3)) { unsigned short buf[10]; outsw(anyport(), buf, 20); } }
void runFailure() { unsigned short buf[10]; outsw(anyport(), buf, 10); }
void runSuccess() { if(!iopl(3)) { inl(anyport()); } }
void runFailure() { inl(anyport()); }