__CPROVER_cegis_instructiont Struct Reference

Public Attributes
opcodet	opcode
opt	op0
opt	op1
opt	op2

Detailed Description

Definition at line 21 of file cegis.c.

Member Data Documentation

op0

opt __CPROVER_cegis_instructiont::op0

Definition at line 24 of file cegis.c.

op1

opt __CPROVER_cegis_instructiont::op1

Definition at line 25 of file cegis.c.

op2

opt __CPROVER_cegis_instructiont::op2

Definition at line 26 of file cegis.c.

opcode

opcodet __CPROVER_cegis_instructiont::opcode

Definition at line 23 of file cegis.c.

---

The documentation for this struct was generated from the following file:

• /home/runner/work/cbmc/cbmc/src/ansi-c/library/cegis.c