File tree Expand file tree Collapse file tree 1 file changed +0
-1
lines changed
Expand file tree Collapse file tree 1 file changed +0
-1
lines changed Original file line number Diff line number Diff line change @@ -223,7 +223,6 @@ When synthesis succeeds, the CLI will print:
2232232 . ** 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
229228system state to redirect execution to the chain.
You can’t perform that action at this time.
0 commit comments