Skip to content

Commit cef8eab

Browse files
authored
chore: update readme (#95)
Removed the note about the final branch destination from the assignment model details.
1 parent a93c604 commit cef8eab

File tree

1 file changed

+0
-1
lines changed

1 file changed

+0
-1
lines changed

README.md

Lines changed: 0 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -223,7 +223,6 @@ When synthesis succeeds, the CLI will print:
223223
2. **Assignment Model Details** - A detailed breakdown including:
224224
- **Inputs (Locations Read)** - All register and memory locations read by each gadget, along with their evaluated values from the model
225225
- **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)
227226

228227
_Note: The models produced through the CLI only represent the transitions within a chain. They do not constrain the
229228
system state to redirect execution to the chain.

0 commit comments

Comments
 (0)