cprover
|
#include "modules.h"
Go to the source code of this file.
Macros | |
#define | MODULE |
#define | TRUE 1 |
#define | FALSE 0 |
#define | BUF_SIZE 255 |
Functions | |
int | init_module (void) |
void | cleanup_module (void) |
int | dummy_open (struct inode *, struct file *) |
unsigned int | dummy_read (struct file *, char *, int) |
int | dummy_release (struct inode *, struct file *) |
int | nondet_int () |
unsigned int | nondet_uint () |
unsigned char | nondet_uchar () |
void cleanup_module | ( | void | ) |
unsigned int dummy_read | ( | struct file * | , |
char * | , | ||
int | |||
) |
int init_module | ( | void | ) |
int nondet_int | ( | ) |
unsigned char nondet_uchar | ( | ) |
unsigned int nondet_uint | ( | ) |