Пример #1
0
void testValues() {
    f = 2;
    char* result;
    char buf[IF_NAMESIZE];
    
    result = if_indextoname(anyuint(), buf);
    //@ assert result == \null || result == buf;
    
    //@ assert f == 2;
    //@ assert vacuous: \false;
}
Пример #2
0
void testValues() {
    f = 2;
    int result, result2;
    unsigned int x;
    
    x = anyuint();
    srand(x);
    result = rand();
    srand(x);
    result2 = rand();
    //@ assert result == result2;
    
    //@ assert f == 2;
    //@ assert vacuous: \false;
}
Пример #3
0
void runFailure() {
    if_indextoname(anyuint(), NULL);
}
Пример #4
0
void runSuccess() {
    char buf[IF_NAMESIZE];
    if_indextoname(anyuint(), buf);
}
Пример #5
0
void runFailure1() {
    char buf[1];
    if_indextoname(anyuint(), buf);
}