We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent a93c604 commit cef8eabCopy full SHA for cef8eab
1 file changed
README.md
@@ -223,7 +223,6 @@ When synthesis succeeds, the CLI will print:
223
2. **Assignment Model Details** - A detailed breakdown including:
224
- **Inputs (Locations Read)** - All register and memory locations read by each gadget, along with their evaluated values from the model
225
- **Outputs (Locations Written)** - All register and memory locations written by each gadget, along with their evaluated values at the end of the chain
226
- - **Final Branch Destination** - The program counter value after the final gadget (if determinable)
227
228
_Note: The models produced through the CLI only represent the transitions within a chain. They do not constrain the
229
system state to redirect execution to the chain.
0 commit comments