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

Add a FiniteRunsInspection #154

Open

michbarsinai opened this issue Feb 15, 2021 · 1 comment

Milestone

Member

michbarsinai commented Feb 15, 2021

Abstract verification inspection that calls the implementation only when it hits a finite run.

michbarsinai changed the title ~~Add a finiteRunsInspection~~ Add a FiniteRunsInspection

michbarsinai added this to the Pre-1.0 cleanup milestone

Member Author

michbarsinai commented Feb 16, 2021

Also, add an isTerminal method to DFS nodes. This would make the inspection easier to implement.

michbarsinai modified the milestones: Pre-1.0 cleanup, PVG-1

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment