#include <errno.h>
#include <sys/types.h>
Go to the source code of this file.
◆ __CPROVER_ERRNO_H_INCLUDED
#define __CPROVER_ERRNO_H_INCLUDED |
◆ __CPROVER_SYS_TYPES_H_INCLUDED
#define __CPROVER_SYS_TYPES_H_INCLUDED |
◆ ret_type [1/4]
◆ ret_type [2/4]
◆ ret_type [3/4]
◆ ret_type [4/4]
◆ size_type [1/4]
◆ size_type [2/4]
◆ size_type [3/4]
◆ size_type [4/4]
◆ __VERIFIER_nondet___CPROVER_bool()
◆ __VERIFIER_nondet_int()
◆ __VERIFIER_nondet_long()
◆ __VERIFIER_nondet_ret_type()
◆ __VERIFIER_nondet_size_type()
◆ __VERIFIER_nondet_unsigned()
◆ _close()
◆ _read()
◆ _sleep()
◆ _usleep()
◆ _write()
◆ close()
◆ pipe()
◆ read()
◆ sleep()
◆ sysconf()
◆ unlink()
◆ usleep()
◆ write()
◆ __CPROVER_pipe_count
◆ __CPROVER_pipe_offset
◆ __CPROVER_pipes