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.

Sign up for GitHub

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

Jump to bottom

export stop from the symbolic interface #514

Closed
zapashcanon opened this issue Feb 24, 2025 · 0 comments · Fixed by #517
Closed

export stop from the symbolic interface #514

zapashcanon opened this issue Feb 24, 2025 · 0 comments · Fixed by #517
Assignees
@krtab
Labels
enhancement New feature or request

Comments

@zapashcanon
Copy link
Member

so that it can be used in abort instead of adding false to the PC (which will keep executing a bit until the monad realize its unsatisfiable and stops execution)

it should be added here https://github.com/OCamlPro/owi/blob/main/src/intf/symbolic_choice_intf.ml

@krtab I assigned you because you may find this fun to do but I can do it if you don't want to 👼
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@krtab krtab

Labels
enhancement New feature or request
Projects
None yet
Milestone
No milestone
Development

Successfully merging a pull request may close this issue.

Expose stop primitive in Choice monad krtab/owi
2 participants
@zapashcanon @krtab