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

Remove phases #820

Merged
merged 2 commits into from
Aug 11, 2022
Merged

Remove phases #820

merged 2 commits into from
Aug 11, 2022

Conversation

sim642
Copy link
Member

@sim642 sim642 commented Aug 10, 2022

Issue #460.

@sim642 sim642 added the cleanup Refactoring, clean-up label Aug 10, 2022
@sim642 sim642 added this to the v2.0.0 milestone Aug 10, 2022
@michael-schwarz michael-schwarz self-requested a review August 10, 2022 14:52
@michael-schwarz
Copy link
Member

tests/sv-comp/observer/path_nofun_true-unreach-call.c still has some references to phases.

@sim642
Copy link
Member Author

sim642 commented Aug 11, 2022

tests/sv-comp/observer/path_nofun_true-unreach-call.c still has some references to phases.

Good catch! It didn't even occur to me to search tests because I didn't think it would've ever been used, but turns out that I did for my observer automaton stuff, only to realize how limited it is.

@sim642 sim642 merged commit 344b1ea into master Aug 11, 2022
@sim642 sim642 deleted the rm-phases branch August 11, 2022 06:33
@sim642 sim642 mentioned this pull request Aug 11, 2022
Closed
14 tasks
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@michael-schwarz michael-schwarz michael-schwarz approved these changes

Assignees
No one assigned
Labels
cleanup Refactoring, clean-up
Projects
None yet
Milestone
v2.0.0
Development

Successfully merging this pull request may close these issues.
2 participants
@sim642 @michael-schwarz