sv_tools.a sv_base.a sv_sys.a
src/access	svcomp
src/chdir	svcomp
src/chmod	svcomp
src/chown	svcomp
src/close	svcomp
src/creat	svcomp
src/directory	svcomp
src/dup		svcomp
src/dup2	svcomp
src/exec	svcomp
src/fclose	svcomp
src/fcntl	svcomp
src/ferror	svcomp
src/fopen	svcomp
src/fork	svcomp
src/fread	svcomp
src/fseek	svcomp
src/ftw		svcomp
src/getc	svcomp
src/getcwd	svcomp
src/gets	svcomp
src/ioctl	svcomp
src/link	svcomp
src/lockf	svcomp
src/lseek	svcomp
src/mkdir	svcomp
src/mknod	svcomp
src/mount	svcomp
src/open	svcomp
src/popen	svcomp
src/printf	svcomp
src/putc	svcomp
src/puts	svcomp
src/read	svcomp
src/rmdir	svcomp
src/scanf	svcomp
src/setbuf	svcomp
src/stat	svcomp
src/system	svcomp
src/ulimit	svcomp
src/umask	svcomp
src/ungetc	svcomp
src/unlink	svcomp
src/ustat	svcomp
src/utime	svcomp
src/vprintf	svcomp
src/write	svcomp
