CBMC
Loading...
Searching...
No Matches
signal.c
Go to the documentation of this file.
1
/* FUNCTION: kill */
2
3
#ifndef __CPROVER_SYS_TYPES_H_INCLUDED
4
#include <sys/types.h>
5
#define __CPROVER_SYS_TYPES_H_INCLUDED
6
#endif
7
8
#ifndef __CPROVER_SIGNAL_H_INCLUDED
9
#include <signal.h>
10
#define __CPROVER_SIGNAL_H_INCLUDED
11
#endif
12
13
__CPROVER_bool
__VERIFIER_nondet___CPROVER_bool
(
void
);
14
15
int
kill
(
pid_t
pid
,
int
sig
)
16
{
17
(
void
)
pid
;
18
(
void
)
sig
;
19
__CPROVER_bool
error=
__VERIFIER_nondet___CPROVER_bool
();
20
return
error ? -1 : 0;
21
}
ait
ait supplies three of the four components needed: an abstract interpreter (in this case handling func...
Definition
ai.h:562
kill
int kill(pid_t pid, int sig)
Definition
signal.c:15
__VERIFIER_nondet___CPROVER_bool
__CPROVER_bool __VERIFIER_nondet___CPROVER_bool(void)
src
ansi-c
library
signal.c
Generated by
1.9.8