Classes
struct	__CPROVER_cegis_instructiont

Macros
#define	__CPROVER_cegis_number_of_vars 2

#define	__CPROVER_cegis_number_of_consts 1

#define	__CPROVER_cegis_number_of_ops 3

#define	__CPROVER_cegis_max_solution_size 1

#define	__CPROVER_cegis_max_instruction 24u

#define	opcode program[i].opcode

#define	sop0 ((int) op0)

#define	sop1 ((int) op1)

#define	sop2 ((int) op2)

Typedefs
typedef unsigned char	opcodet

typedef unsigned char	opt

Functions
void	__CPROVER_danger_execute (struct __CPROVER_cegis_instructiont *program, unsigned char size)

Variables
const void *	__CPROVER_cegis_OPS [3]

void *	__CPROVER_cegis_RESULT_OPS [1]

Macro Definition Documentation

◆ __CPROVER_cegis_max_instruction

#define __CPROVER_cegis_max_instruction 24u

Definition at line 29 of file cegis.c.

◆ __CPROVER_cegis_max_solution_size

#define __CPROVER_cegis_max_solution_size 1

Definition at line 13 of file cegis.c.

◆ __CPROVER_cegis_number_of_consts

#define __CPROVER_cegis_number_of_consts 1

Definition at line 7 of file cegis.c.

◆ __CPROVER_cegis_number_of_ops

#define __CPROVER_cegis_number_of_ops 3

Definition at line 10 of file cegis.c.

◆ __CPROVER_cegis_number_of_vars

#define __CPROVER_cegis_number_of_vars 2

Definition at line 4 of file cegis.c.

◆ opcode

#define opcode program[i].opcode

◆ sop0

#define sop0 ((int) op0)

◆ sop1

#define sop1 ((int) op1)

◆ sop2

#define sop2 ((int) op2)

Typedef Documentation

◆ opcodet

typedef unsigned char opcodet

Definition at line 19 of file cegis.c.

◆ opt

typedef unsigned char opt

Definition at line 20 of file cegis.c.

Function Documentation

◆ __CPROVER_danger_execute()

void __CPROVER_danger_execute	(	struct __CPROVER_cegis_instructiont *	program,
		unsigned char	size
	)

Definition at line 31 of file cegis.c.

Variable Documentation

◆ __CPROVER_cegis_OPS

const void* __CPROVER_cegis_OPS[3]

Definition at line 16 of file cegis.c.

◆ __CPROVER_cegis_RESULT_OPS

void* __CPROVER_cegis_RESULT_OPS[1]

Definition at line 17 of file cegis.c.

Classes

Macros

Typedefs

Functions

Variables