Append a new instruction to the trace Parameters ---------- insts : Instruction The new instruction to be appended decision : Optional[DECISION_TYPE] = None The random decision made on this instruction
(
self,
inst: Instruction,
decision: DECISION_TYPE | None = None,
)
| 121 | return _ffi_api.TraceGetDecision(self, inst) # type: ignore # pylint: disable=no-member |
| 122 | |
| 123 | def append( |
| 124 | self, |
| 125 | inst: Instruction, |
| 126 | decision: DECISION_TYPE | None = None, |
| 127 | ) -> None: |
| 128 | """Append a new instruction to the trace |
| 129 | |
| 130 | Parameters |
| 131 | ---------- |
| 132 | insts : Instruction |
| 133 | The new instruction to be appended |
| 134 | decision : Optional[DECISION_TYPE] = None |
| 135 | The random decision made on this instruction |
| 136 | """ |
| 137 | _ffi_api.TraceAppend(self, inst, decision) # type: ignore # pylint: disable=no-member |
| 138 | |
| 139 | def pop(self) -> Instruction | None: |
| 140 | """Remove the last instruction, along with the decision made on that instruction, if any |
no outgoing calls