Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Add options to store and rerun execution states during run #182

Draft
wants to merge 1 commit into
base: main
Choose a base branch
from

Conversation

dim8art
Copy link

@dim8art dim8art commented May 19, 2024

Summary:

Checklist:

  • The PR addresses a single issue. If it can be divided into multiple independent PRs, please do so.
  • The PR is divided into a logical sequence of commits OR a single commit is sufficient.
  • There are no unnecessary commits (e.g. commits fixing issues in a previous commit in the same PR).
  • Each commit has a meaningful message documenting what it does.
  • All messages added to the codebase, all comments, as well as commit messages are spellchecked.
  • The code is commented OR not applicable/necessary.
  • The patch is formatted via clang-format OR not applicable (if explicitly overridden leave unchecked and explain).
  • There are test cases for the code you added or modified OR no such test cases are required.

@dim8art dim8art force-pushed the RunSEForever branch 3 times, most recently from 79a5907 to 23e4d8f Compare May 25, 2024 19:17
@dim8art dim8art changed the title Add optons to run symbolyc execution basiclly forever Add options to store and rerun execution states during run May 25, 2024
@dim8art dim8art force-pushed the RunSEForever branch 2 times, most recently from 0bac425 to 03b6802 Compare July 2, 2024 23:26
@dim8art dim8art force-pushed the RunSEForever branch 3 times, most recently from 35cce54 to e699dd6 Compare July 11, 2024 00:32
@dim8art dim8art force-pushed the RunSEForever branch 5 times, most recently from d79de72 to 04c10b2 Compare August 7, 2024 11:26
@misonijnik misonijnik requested a review from ocelaiwo August 28, 2024 06:28
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