Esempi in C++ (Cpp) per anyport

Esempio n. 1

void testValues() {
    f = 2;
    
    if(!iopl(3)) {
        inl(anyport());
    }

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

Esempio n. 2

void testValues() {
    f = 2;
    
    if(!iopl(3)) {
        unsigned short buf[10];
        outsw(anyport(), buf, 10);
    }

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

Esempio n. 3

void runSuccess() {
    if(!iopl(3)) {
        unsigned short buf[10];
        outsw(anyport(), buf, 10);
    }
}

Esempio n. 4

void runFailure1() {
    if(!iopl(3)) {
        unsigned short buf[10];
        outsw(anyport(), buf, 20);
    }
}

Esempio n. 5

void runFailure() {
    unsigned short buf[10];
    outsw(anyport(), buf, 10);
}

Esempio n. 6

void runSuccess() {
    if(!iopl(3)) {
        inl(anyport());
    }
}

Esempio n. 7

void runFailure() {
    inl(anyport());
}