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. |