Skip to content

Make it possible to not stop execution after a given amount of steps#7

Open
nmeum wants to merge 1 commit into
GaloisInc:masterfrom
nmeum:zero-steps
Open

Make it possible to not stop execution after a given amount of steps#7
nmeum wants to merge 1 commit into
GaloisInc:masterfrom
nmeum:zero-steps

Conversation

@nmeum
Copy link
Copy Markdown

@nmeum nmeum commented Jan 18, 2023

If I am not mistaken, there is currently no way to disable the "stop after N steps" feature. This commit allows disabling this feature by passing a zero value to the -s option. This is best combined with the --halt-pc option. That is, an invocation along the lines of

$ grift-sim --halt-pc 0x00011ce8 -s 0 my-binary.elf

will ensure that grift-sim only terminates iff it reaches PC 0x00011ce8.

I also think that -s 0 would be a better default than -s 10000 but refrained from changing the default since this would be a backwards-incompatible change.

If I am not mistaken, there is currently no way to disable the "stop
after N steps" feature. This commit allows disabling this feature
by passing a zero value to the `-s` option. This is best combined
with the `--halt-pc` option. I also think that `-s 0` would be a better
default than `-s 10000` but refrained from changing the default since
this would be a backwards-incompatible change.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant