getopt.c File Reference

#include <string.h>
#include <getopt.h>

Include dependency graph for getopt.c:

Go to the source code of this file.

Macros
#define	__CPROVER_STRING_H_INCLUDED
#define	__CPROVER_GETOPT_H_INCLUDED

Functions
__CPROVER_bool	__VERIFIER_nondet___CPROVER_bool (void)
size_t	__VERIFIER_nondet_size_t (void)
int	_getopt (int argc, char *const argv[], const char *optstring)
int	getopt (int argc, char *const argv[], const char *optstring)
int	getopt_long (int argc, char *const argv[], const char *optstring, const struct option *longopts, int *longindex)

Variables
char *	optarg
int	optind = 1

Macro Definition Documentation

__CPROVER_GETOPT_H_INCLUDED

#define __CPROVER_GETOPT_H_INCLUDED

Definition at line 94 of file getopt.c.

__CPROVER_STRING_H_INCLUDED

#define __CPROVER_STRING_H_INCLUDED

Definition at line 5 of file getopt.c.

Function Documentation

__VERIFIER_nondet___CPROVER_bool()

__CPROVER_bool __VERIFIER_nondet___CPROVER_bool

(

void

)

__VERIFIER_nondet_size_t()

__CPROVER_size_t __VERIFIER_nondet_size_t

(

void

)

_getopt()

int _getopt	(	int	argc,
		char *const	argv[],
		const char *	optstring )

Definition at line 14 of file getopt.c.

getopt()

int getopt	(	int	argc,
		char *const	argv[],
		const char *	optstring )

Definition at line 81 of file getopt.c.

getopt_long()

int getopt_long	(	int	argc,
		char *const	argv[],
		const char *	optstring,
		const struct option *	longopts,
		int *	longindex )

Definition at line 97 of file getopt.c.

Variable Documentation

optarg

char* optarg

Definition at line 8 of file getopt.c.

optind

int optind = 1

Definition at line 9 of file getopt.c.