Reset and GDB commands: reset, execute
Reset the target with a halt; an arbitrary GDB command as a low-level escape.
since 0.3.0
Methods
API 3 changes (0.5.0)
reset is awaited in async; emulators refuse it. execute is refused in async def (unsupported_async_command).
Recommended
After reset, check the outcome and navigate explicitly.
result = t.reset() # async def: await t.reset()
t.check("halted after reset", result["outcome"], "halted")
t.reach("main")Avoid
execute bypasses API guarantees: do not change data or control execution through it.
t.execute("set var app_delay = 0") # use t.write
t.execute("continue") # use resume; refused in async defThe fragments show refused or discouraged patterns, not a working recipe.
Fragments for a scenario body; firmware symbols are illustrative.