time.c File Reference

#include <time.h>

Include dependency graph for time.c:

Go to the source code of this file.

Macros
#define	__CPROVER_TIME_H_INCLUDED

Functions
time_t	__VERIFIER_nondet_time_t (void)
time_t	__time64 (time_t *)
time_t	time (time_t *tloc)
struct tm *	gmtime (const time_t *clock)
struct tm *	gmtime_r (const time_t *clock, struct tm *result)
struct tm *	localtime (const time_t *clock)
struct tm *	localtime_r (const time_t *clock, struct tm *result)
time_t	mktime (struct tm *timeptr)
time_t	timegm (struct tm *timeptr)
char *	asctime (const struct tm *timeptr)
char *	ctime (const time_t *clock)
__CPROVER_size_t	__VERIFIER_nondet_size_t (void)
__CPROVER_size_t	strftime (char *s, __CPROVER_size_t max, const char *format, const struct tm *tm)
__CPROVER_size_t	_strftime (char *s, __CPROVER_size_t max, const char *format, const struct tm *tm)

Macro Definition Documentation

__CPROVER_TIME_H_INCLUDED

#define __CPROVER_TIME_H_INCLUDED

Definition at line 5 of file time.c.

Function Documentation

__time64()

time_t __time64

(

time_t *

tloc

)

Definition at line 27 of file time.c.

__VERIFIER_nondet_size_t()

__CPROVER_size_t __VERIFIER_nondet_size_t

(

void

)

__VERIFIER_nondet_time_t()

time_t __VERIFIER_nondet_time_t

(

void

)

_strftime()

__CPROVER_size_t _strftime	(	char *	s,
		__CPROVER_size_t	max,
		const char *	format,
		const struct tm *	tm
	)

Definition at line 268 of file time.c.

asctime()

char* asctime

(

const struct tm *

timeptr

)

Definition at line 202 of file time.c.

ctime()

char* ctime

(

const time_t *

clock

)

Definition at line 223 of file time.c.

gmtime()

struct tm* gmtime

(

const time_t *

clock

)

Definition at line 86 of file time.c.

gmtime_r()

struct tm* gmtime_r	(	const time_t *	clock,
		struct tm *	result
	)

Definition at line 111 of file time.c.

localtime()

struct tm* localtime

(

const time_t *

clock

)

Definition at line 127 of file time.c.

localtime_r()

struct tm* localtime_r	(	const time_t *	clock,
		struct tm *	result
	)

Definition at line 152 of file time.c.

mktime()

time_t mktime

(

struct tm *

timeptr

)

Definition at line 170 of file time.c.

strftime()

__CPROVER_size_t strftime	(	char *	s,
		__CPROVER_size_t	max,
		const char *	format,
		const struct tm *	tm
	)

Definition at line 247 of file time.c.

time()

time_t time

(

time_t *

tloc

)

Definition at line 13 of file time.c.

timegm()

time_t timegm

(

struct tm *

timeptr

)

Definition at line 188 of file time.c.