29.3 Chosen Value Records
A Chosen Value Record is a
| Field Name | Value | Meaning |
|---|---|---|
| [[Event]] | A |
The |
| [[ChosenValue]] | A |
The bytes that were nondeterministically chosen during evaluation. |
A Chosen Value Record is a
| Field Name | Value | Meaning |
|---|---|---|
| [[Event]] | A |
The |
| [[ChosenValue]] | A |
The bytes that were nondeterministically chosen during evaluation. |