CBMC
Loading...
Searching...
No Matches
cegis.c File Reference

Go to the source code of this file.

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.