signal.c File Reference

#include <sys/types.h>
#include <signal.h>

Include dependency graph for signal.c:

Go to the source code of this file.

Macros
#define	__CPROVER_SYS_TYPES_H_INCLUDED
#define	__CPROVER_SIGNAL_H_INCLUDED

Functions
__CPROVER_bool	__VERIFIER_nondet___CPROVER_bool (void)
int	kill (pid_t pid, int sig)

Macro Definition Documentation

__CPROVER_SIGNAL_H_INCLUDED

#define __CPROVER_SIGNAL_H_INCLUDED

Definition at line 10 of file signal.c.

__CPROVER_SYS_TYPES_H_INCLUDED

#define __CPROVER_SYS_TYPES_H_INCLUDED

Definition at line 5 of file signal.c.

Function Documentation

__VERIFIER_nondet___CPROVER_bool()

__CPROVER_bool __VERIFIER_nondet___CPROVER_bool

(

void

)

kill()

int kill	(	pid_t	pid,
		int	sig )

Definition at line 15 of file signal.c.