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

Improve intersect_source_invariant option in hybrid solve #611

Open
schillic opened this issue Mar 27, 2022 · 0 comments
Open

Improve intersect_source_invariant option in hybrid solve #611

schillic opened this issue Mar 27, 2022 · 0 comments
Labels
enhancement New feature or request

Comments

@schillic
Copy link
Member

schillic commented Mar 27, 2022 •
edited
Loading

The option intersect_source_invariant in the hybrid solve is not fully used.

  1. Once the intersection is empty, the flowpipe should be shortened (all later reach sets are unreachable).
  2. When intersecting with the guard, the invariant is ignored.
@schillic schillic added the enhancement New feature or request label Mar 27, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
enhancement New feature or request
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@schillic