Functions tested with Ballista OS Test


FUNCTION # TESTS # RESTARTS # ABORTS # SETUP FAILS
abs 25 0 0 0
access 3917 0 0 1558
acos 21 0 0 0
aio_cancel 4253 0 0 0
aio_error 4033 0 0 0
aio_fsync 4883 0 1 0
aio_read 4033 0 171 0
aio_return 4033 0 0 0
aio_suspend 5083 0 3782 536
aio_write 4033 0 157 0
alarm 25 0 7 0
asctime 27 0 14 3
asin 21 0 0 0
atan 21 0 0 0
atan2 441 0 0 0
atof 68 0 5 3
atoi 68 0 5 3
atol 68 0 5 3
calloc 529 0 0 0
ceil 21 0 0 0
cfgetispeed 3974 0 1 1
cfgetospeed 3974 0 1 1
cfsetispeed 4085 0 1 0
cfsetospeed 4085 0 1 0
chdir 500 0 0 201
chmod 4018 0 0 1582
chown 4071 0 0 1562
clearerr 439 0 3 0
clock_getres 754 0 0 78
clock_gettime 754 0 14 78
clock_settime 754 0 0 78
close 601 0 0 0
closedir 76 0 7 3
cos 21 0 0 0
cosh 21 0 0 0
creat 4018 0 0 1581
ctermid 68 0 4 3
ctime 24 0 3 0
difftime 1296 0 0 0
div 625 0 25 0
dup 601 0 0 0
dup2 4039 0 0 0
execl 7926 0 0 3417
execle 7926 0 0 3417
execlp 7926 0 765 3417
execv 3957 0 0 1660
execve 3969 0 0 1757
execvp 3957 0 407 1660
exp 21 0 0 0
fabs 21 0 0 0
fchmod 4014 0 0 0
fclose 439 0 2 0
fcntl 4060 0 0 0
fdatasync 601 0 0 0
fdopen 3971 0 246 158
feof 439 0 3 0
ferror 439 0 3 0
fflush 439 0 2 0
fgetc 439 0 5 0
fgetpos 3996 0 757 762
fgets 4082 0 76 173
fileno 439 0 3 0
floor 21 0 0 0
fmod 441 0 0 0
fopen 3954 0 149 1651
fpathconf 3944 0 0 0
fprintf 11983 0 541 703
fputc 3942 0 43 0
fread 4140 0 19 652
free 20 0 6 3
freopen 4201 0 160 1730
frexp 231 0 63 0
fscanf 8074 0 282 960
fseek 4020 0 35 0
fsetpos 3996 0 757 762
fstat 3943 0 70 454
fsync 601 0 0 0
ftell 439 0 3 0
ftruncate 3944 0 0 0
fwrite 4429 0 26 220
getc 439 0 5 0
getcwd 1700 0 1066 75
getenv 68 0 5 3
getgrgid 31 0 0 0
getgrnam 72 0 4 3
getgroups 425 0 0 0
getpwnam 72 0 4 3
getpwuid 31 0 0 0
gmtime 24 0 3 0
isalnum 25 0 11 0
isalpha 25 0 11 0
isatty 601 0 0 0
iscntrl 25 0 11 0
isdigit 25 0 11 0
isgraph 25 0 11 0
islower 25 0 11 0
isprint 25 0 11 0
ispunct 25 0 11 0
isspace 25 0 11 0
isupper 25 0 11 0
isxdigit 25 0 11 0
labs 27 0 0 0
ldexp 525 0 0 0
ldiv 729 0 27 0
link 4035 0 0 2556
localtime 24 0 3 0
log 21 0 0 0
log10 21 0 0 0
longjmp 400 0 325 0
lseek 4095 0 0 0
malloc 23 0 0 0
mblen 1564 0 92 69
mbstowcs 4066 0 796 306
mbtowc 4066 0 435 306
memchr 3949 2 401 188
memcmp 4078 0 389 371
memcpy 4078 25 2810 371
memmove 4078 19 2816 371
memset 3949 14 2923 188
mkdir 4018 0 0 2442
mkfifo 4018 0 0 2448
mktime 27 0 7 3
mlock 161 0 0 0
mlockall 27 0 0 0
mmap 64247 0 0 0
modf 546 0 63 0
mprotect 4001 0 0 0
mq_close 10 0 1 2
mq_getattr 120 0 10 40
mq_notify 970 0 94 218
mq_open 4033 0 428 1512
mq_receive 4005 0 334 967
mq_send 4087 0 373 930
mq_setattr 1440 0 100 640
mq_unlink 500 0 53 201
msync 4006 0 0 0
munlock 161 0 0 0
munmap 161 0 18 0
nanosleep 607 60 0 142
open 14936 0 0 9093
opendir 500 0 0 201
pathconf 3936 0 0 1577
perror 68 0 4 3
pow 441 0 0 0
printf 5772 84 414 416
putc 3942 0 43 0
putchar 25 0 0 0
puts 68 1 5 3
readdir 76 0 54 3
realloc 460 0 126 69
remove 500 0 0 201
rename 4035 0 0 3414
rewind 439 0 3 0
rewinddir 76 0 65 3
rmdir 500 0 0 201
sched_get_priority_max 28 0 0 0
sched_get_priority_min 28 0 0 0
sched_getparam 754 0 21 87
sched_getscheduler 29 0 0 0
sched_rr_get_interval 841 0 0 87
sched_setparam 754 0 21 87
sched_setscheduler 3984 0 91 434
sem_close 25 0 0 6
sem_destroy 25 0 0 6
sem_getvalue 275 0 113 66
sem_init 3919 0 1098 930
sem_open 4033 0 428 1512
sem_post 25 0 0 6
sem_trywait 25 0 0 6
sem_unlink 500 0 53 201
sem_wait 25 2 0 6
setbuf 3972 0 24 182
setgid 29 0 0 0
setjmp 16 0 0 0
setlocale 1836 0 12 81
setpgid 841 0 0 0
setuid 29 0 0 0
setvbuf 4072 0 34 181
shm_open 10903 0 1161 4256
shm_unlink 500 0 53 201
sigaction 4206 0 11 28
sigaddset 576 0 21 0
sigdelset 576 0 21 0
sigemptyset 18 0 3 0
sigfillset 18 0 3 0
sigismember 576 0 21 0
siglongjmp 400 0 375 0
sigpending 18 0 0 0
sigprocmask 3999 0 0 0
sigsetjmp 400 0 0 0
sin 21 0 0 0
sinh 21 0 0 0
sprintf 12110 0 2897 1229
sqrt 21 0 0 0
srand 22 0 0 0
sscanf 8031 0 1067 853
stat 3954 0 18 1894
strcat 824 60 256 201
strchr 1700 0 125 75
strcmp 4004 0 547 338
strcoll 4004 0 547 338
strcpy 4004 52 938 338
strcspn 4004 13 443 338
strerror 25 0 0 0
strftime 4023 0 826 733
strlen 68 0 5 3
strncat 1313 60 312 128
strncmp 4078 0 422 371
strncpy 4078 49 2989 371
strpbrk 4004 19 547 338
strrchr 1700 0 125 75
strspn 4004 0 443 338
strstr 4004 30 476 338
strtod 4004 0 600 338
strtok 4004 53 386 338
strtol 4079 0 348 376
strtoul 4079 0 348 376
strxfrm 4078 33 3165 371
sysconf 27 0 0 0
tan 21 0 0 0
tanh 21 0 0 0
tcdrain 601 0 0 0
tcflush 3944 0 0 0
tcgetattr 4104 0 0 1
tcgetpgrp 601 0 0 0
tcsendbreak 3947 0 0 0
time 24 0 2 0
timer_create 3959 0 0 126
timer_delete 27 0 0 0
timer_getoverrun 27 0 0 0
timer_gettime 3240 0 0 594
timer_settime 4159 0 0 1390
times 25 0 0 3
tmpnam 68 0 5 3
tolower 25 0 0 0
toupper 25 0 0 0
ttyname 601 0 0 0
umask 345 0 0 0
uname 1044 0 1 784
ungetc 3942 0 25 0
unlink 500 0 0 201
utime 4054 0 0 1625
wait 11 0 0 0
waitpid 3986 0 6 0
wcstombs 4047 0 600 299
wctomb 1564 0 8 69
write 4059 7 0 205

Finish Date: 5/25/2001